Wos, Larry <br/><br/>
The automation of reasoning :  an experimenter's notebook with OTTER tutorial / 
Larry Wos 
 - San Diego :  Academic Press,  c1996 
 - xiv, 443 p. ;  24 cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>0127634207 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving<br/>Artificial intelligence<br/>Computer programming
<br/><br/><label>Dewey Class. No.: </label>511.3028553