TY  - BOOK
AU  - Lloyd, J. W
TI  - Foundations of logic programming
SN  - 3-540-13299-6
AV  - QA 76.6 L583
PY  - 1984///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computadpras digitales electrónicas -
KW  - Programación
KW  - Lógica simbólica y matemática
KW  - Lenguajes de programación (Computadoras electrónicas)
KW  - Semántica
N1  - Incluye referencias e índice
ER  -