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:801 - 18 self