Larry Wos <br/><br/>
Automated reasonning:  basic research problems/ 
by Larry Wos. 
 - New Jersey:  Prentice-Hall,  1988. 
 - 319p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/> 
<br/><br/><label>Dewey Class. No.: </label>006.3  / LAR/