Tree @
master
(
Download .tar.gz
)
..
commentary
Books.md
Papers.md
README.md
Webpages.md
Papers.md
@
master
—
view markup
·
raw
·
history
·
blame
Logic Programming Papers
The Semantics of Predicate Logic as a Programming Language
authors: van Emden, Robert Kowalski
date: 1976
online @
doc.ic.ac.uk
.