TY  - BOOK
AU  - DeGroot, Doug
AU  - Lindstrom, Garay
TI  - Logic programming: functions, relations, and equations 
SN  - 0-13-539958-0
AV  - QA 76.6 D435
PY  - 1986///
CY  - Englewood Cliffs, N.J.
PB  - Prentice-Hall
KW  - Programación de computadoras
KW  - Lógica simbólica y matemática
N1  - Incluye índice
ER  -