TY  - BOOK
AU  - Lloyd, J.W.
TI  - FOUNDATIONS OF LOGIC PROGRAMMING
U1  - 001.642 
PY  - 1984///
CY  - Berlin
PB  - Springer-Verlag
KW  - Electronic Digital Computers -- Programming
KW  - Logic, Symbolic And Mathematical
KW  - Programming Languages (Electronic Computers) -- Semantics
ER  -