Genesereth, Michael R.  1948- <br/><br/>
Logical foundations of artificial intelligence / 
Michael R. Genesereth and Nils J. Nilsson. 
 - Los Altos, Calif. :  Morgan Kaufmann,  c1987. 
 - xviii, 405 p. :  ill. ;  24 cm. 
<br/><br/> Includes index. 
<br/><br/>Bibliography: p. 363-400. 
<br/><br/><label>ISBN: </label>0934613311 :  $36.95 
<br/><br/><label>LCCN: </label>87005461  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence.
<br/><br/><label>LC Class. No.: </label>Q335  / GEN 1987 
<br/><br/><label>Dewey Class. No.: </label>006.3