TY  - BOOK
AU  - Lalement,Rene
TI  - Computation as logic
SN  - 0137700091
AV  - QA76.63  .L35 1993
PY  - 1993///
CY  - Englewood Cliffs, NJ
PB  - Prentice-Hall
KW  - Logic programming
KW  - Functional programming (Computer science)
KW  - Logic, symbolic and mathematical
ER  -