Automation of reasoning/ 
edited by Jörg Siekmann and Graham Wrightson. 
 - Berlin:  New York:  Springer,  1983. 
 - 2 v.:  ill.;  25 cm. 
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>0387120432 (U.S. : v. 1) 0387120440 (U.S. : v. 2) 
<br/><br/><label>LCCN: </label>83172968 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving.
<br/><br/><label>Dewey Class. No.: </label>001.535  / A939