Wos, Larry <br/><br/>
Automated reasoning  33 basic research problems 

 - New Jersey  Prentice-Hall  1988 
 - xiii,319p.  22 cm.  PB. 
<br/><br/><label>ISBN: </label>013054552X 
<br/><br/><label>Subjects--Uniform Titles: </label><br/>Automatic theorem proving<br/>Artificial intelligence
<br/><br/><label>Dewey Class. No.: </label>006.3  / WOS