Logic programming
Subtitle: operational semantics and proof theory
By: James H. Andrews.
Series: Distinguished dissertations in computer science
Publisher: Cambridge University Press
Published: 1992
Place of publication: Cambridge
Language: eng
Number of pages: 104