TY  - BOOK
AU  - Doets,Kees
TI  - From logic to logic programming
T2  - Foundations of computing
SN  - 0262041421
AV  - QA76.63 D64 1994
PY  - 1994///
CY  - Cambridge, Mass.
PB  - MIT Press
KW  - Programación lógica
KW  - lemb
KW  - Logic programming
N1  - Incluye referencias bibliográficas (p. [197]-199) e índice
ER  -