DMCA

The Semantics of Predicate Logic as a Programming Language (1976)

Cached

Download Links

by M. H. Van Emden , R. A. Kowalski
Venue:Journal of the ACM
Citations:802 - 18 self