Predicate Logic as Programming Language

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

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.