TY  - BOOK
AU  - Gabbay,Dov M.
AU  - Hogger, Christopher John,
AU  - Robinson, John Alan
TI  - Handbook of logic in artificial intelligence and logic programming
AV  - QA76.63 H35
PY  - 1993///-9999
CY  - Oxford
PB  - Clarendon Press
KW  - Programación lógica
KW  - Inteligencia artificial
KW  - Lógica simbólica y matemática
N1  - Contenido: v. 1. logical foundations
ER  -