LC CutterNumber :
.A96,H35
Title :
Handbook of automated reasoning
Author Statement :
editors, Alan Robinson and Andrei Voronkov
Publication :
Elsevier ;Cambridge, Mass. :MIT Press
Collation :
2 v. (2122 p.):ill.;25 cm
Subject :
Automatic theorem proving,Qualitative reasoning
ADDED ENTRIES :
Robinson, J. A.
Holding Info. :
0444508139
Biblography :
Includes bibliographical references and index
