Automated deduction - cade-14: 14th international conference on automated deduction, townsville, north queensland, australia, july 13 - 17, 1997: proceedings
Auteur :
Mc / McCune, William
ISBN :
9783540631040
Date de publication :
18 juin 1997
Dimensions :
23,4 x 15,6 x 2,4 cm
Poids :
673 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Presented in this volume are 25 papers taken from the proceedings of an international conference on automated deduction. The papers cover a range of topics including resolution, term rewriting, unification theory, high-order logics, and nonstandard logics.