001.642 / L777f
Lloyd, J.W.
FOUNDATIONS OF LOGIC PROGRAMMING
/
.- Berlin: Springer-Verlag, 1984
.- x,124 .
.- ( Symbolic Computation Artificial Intelligence
Subject Headings:
Electronic Digital Computers -- Programming;
Logic, Symbolic And Mathematical;
Programming Languages (Electronic Computers) -- Semantics;
Copy Details:
Acc. No.: A85004, Full Call No.: 001.642 L777f, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------