Wos, Larry <br/><br/>
Automated reasoning :  33 basic research problems  / 
Larry Wos 
 - Englewood Cliffs, N.J. :  Prentice-Hall,  1988 
 - 319 p. ;  24 cm. 
<br/><br/><label>ISBN: </label>013054552X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving<br/>Artificial intelligence<br/>Electronic digital computers--Programming