Automated deduction, cade-13: 13th international conference on automated deduction, new brunswick, nj, usa, july 30 - august 3, 1996, proceedings: 13th: cade-13, international conference on automated deduction, new brunswick, nj, usa, july 30-august 3, 1996 - proceedings
Auteur :
Mc / McRobbie, Michael A.
ISBN :
9783540615118
Date de publication :
1 juil. 1996
Dimensions :
23,4 x 15,6 x 3,9 cm
Poids :
1166 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Presenting 46 revised papers from CADE-13, this text focuses on results in all aspects of automated deduction.