Handbook of logic in artificial intelligence and logic programming / 
Ed. by dov m. gabbay, and c. j. hogger and j. a. Robinson 
 - volúmenes 
<br/><br/>Contenido: v. 1. logical foundations 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programación lógica<br/>Inteligencia artificial<br/>Lógica simbólica y matemática
<br/><br/><label>LC Class. No.: </label>QA76.63  / H35