Andrews, James H.
Logic programming : operational semantics and proof theory
- Cambridge: Cambridge University Press, 1992
- xi, 104 p.; ill.: 25 cm.
- Distinguished dissertations in computer science .
052160745x (pbk)
Automatic theorem proving
Logic programming
Programming languages (Electronic computers) -- Semantics
005.131 / AND