TY  - BOOK
AU  - Hogger, Christopher John,
TI  - Introduction to logic programming
SN  - 0123520908
AV  - QA76.6 H633
PY  - 1984///
CY  - London
PB  - Academic
KW  - Lógica simbólica y matemática
KW  - Programación de computadoras
ER  -