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; New York
Language: eng
Number of pages: 104
Subjects: Logic programming.; Programming languages (Electronic computers) -- Semantics.; Automatic theorem proving.
Notes: Includes bibliographical references (p. 89-94) and index.
GB92-03126