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,  1993-1998. 
 - 5 v. :  ; 25 cm. 
<br/><br/><label>ISBN: </label>019853745X (v. 1) 0198537468 (v. 2) 0198537476 (v. 3) 0198537913 (v. 4) 0198537921 (v. 5) 
<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>006.3  / HAN