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

 - New Jersey  Prentice Hall  1988 
 - xiii, 319 p. 
<br/><br/><label>ISBN: </label>013054552X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>ARTIFICIAL INTELLIGENCE<br/>AUTOMATIC THEOREM PROVING<br/>COMPUTER PROGRAMMING<br/>COMPUTER SCIENCE
<br/><br/><label>Dewey Class. No.: </label>006.3  / WOS