Automated deduction - cade-11: 11th international conference on automated deduction, saratoga springs, ny, usa, june 15-18, 1992 - proceedings
Auteur :
Kapur, Deepak
ISBN :
9783540556022
Date de publication :
27 mai 1992
Dimensions :
23,4 x 15,6 x 4,1 cm
Poids :
1122 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume contains the papers presented at the 11th International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, New York, in June 1992. Topics covered include: resolution; term writing; natural deduction; parallel theorem provers; and unification theory.