Dov M. Gabbay-C. J. Hogger-J. A. Robinson <br/><br/>
Volume 5: Logic Programming 

 -  Clarendon Press  1998 
 - Handbook of Logic in Artificial Intelligence and Logic Programming .
<br/><br/><label>ISBN: </label>9780198537922 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Artificial Intelligence <br/> Expert Systems<br/>Artificial intelligence.,Logic programming.,Logic, Symbolic and mathematical.<br/>COMPUTERS