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. 
 - 006.3 .
<br/><br/> Includes index. 
<br/><br/>Bibliography: p. 363-400. 
<br/><br/><label>ISBN: </label>0934613311 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence.
<br/><br/><label>Dewey Class. No.: </label>006.3