Predicate Logic as Programming Language

Robert A. Kowalski. Predicate Logic as Programming Language. In IFIP Congress. pages 569-574, 1974.

Possibly Related Publications

The following publications are possibly variants of this publication: