Semantic Scholar Open Access 1991 669 sitasi

A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

D. Miller

Lihat Sumber DOI

Topik & Kata Kunci

Mathematics Computer Science

Penulis (1)

D. Miller

Format Sitasi

APA MLA BibTeX

Miller, D. (1991). A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification. https://doi.org/10.1007/BFb0038698

Akses Cepat

Lihat di Sumber doi.org/10.1007/BFb0038698

Informasi Jurnal

Tahun Terbit: 1991
Bahasa: en
Total Sitasi: 669×
Sumber Database: Semantic Scholar
DOI: 10.1007/BFb0038698
Akses: Open Access ✓