- Conference Article
38
- 10.1145/237466.237523
Foundations of computer science
- Jan 01, 1996
- Viera K Proulx + 2 more +2
the University of Amsterdam, May 20-31, 1974.This Tract collects the lecture notes of five of the courses given.The sixth course, given by Dr. R. Kowalski on Predicate Logic as a Programming Language in Artificial Intelligence, is scheduled to appear elsewhere.We are very grateful to the Netherlands Organization for the Advancement of Pure Research (Z.W.O.)
Read more