Semantic Scholar Open Access 1976 1711 sitasi

The Semantics of Predicate Logic as a Programming Language

M. H. Emden R. Kowalski

Lihat Sumber DOI

Topik & Kata Kunci

Computer Science Mathematics

M. H. Emden

R. Kowalski

APA MLA BibTeX

Emden, M.H., Kowalski, R. (1976). The Semantics of Predicate Logic as a Programming Language. https://doi.org/10.1145/321978.321991

Lihat di Sumber doi.org/10.1145/321978.321991

Informasi Jurnal