Handbook of logic in artificial intelligence and logic programming 
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson 
 - Oxford  Clarendon Press ; Oxford University Press  1993-1998 
 - 5 v. : ill. ; 25 cm 
<br/><br/> Includes bibliographical references and indexes 
<br/><br/><label>ISBN: </label>019853745X 
<br/><br/><label>ISSN: </label>92023358 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial Intelligence<br/>Logic programming<br/>Logic, Symbolic and mathematical
<br/><br/><label>Dewey Class. No.: </label>QA76.63 .H36 1993 006.3/3