10th international conference on automated deduction: kaiserslautern, frg, july 24-27, 1990, proceedings: 1990: international conference proceedings
Auteur :
Stickel, Mark E.
ISBN :
9783540528852
Date de publication :
17 juil. 1990
Dimensions :
23,5 x 15,5 x 3,5 cm
Poids :
976 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
CADE is the major forum for research on all aspects of automated deduction. This title constitutes the proceedings of CADE-10.