Bookmark Saya

Semantic Scholar Open Access 1960 3072 sitasi

A Computing Procedure for Quantification Theory

Martin D. Davis H. Putnam
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (2)

M

Martin D. Davis

H

H. Putnam

Format Sitasi

APA MLA BibTeX
Davis, M.D., Putnam, H. (1960). A Computing Procedure for Quantification Theory. https://doi.org/10.1145/321033.321034

Akses Cepat

Lihat di Sumber doi.org/10.1145/321033.321034
Informasi Jurnal
Tahun Terbit
1960
Bahasa
en
Total Sitasi
3072×
Sumber Database
Semantic Scholar
DOI
10.1145/321033.321034
Akses
Open Access ✓