Bookmark Saya

Semantic Scholar Open Access 1973 1788 sitasi

Symbolic logic and mechanical theorem proving

Chin-Liang Chang Richard C. T. Lee
Lihat Sumber DOI

Topik & Kata Kunci

Mathematics Computer Science

Penulis (2)

C

Chin-Liang Chang

R

Richard C. T. Lee

Format Sitasi

APA MLA BibTeX
Chang, C., Lee, R.C.T. (1973). Symbolic logic and mechanical theorem proving. https://doi.org/10.1016/c2009-0-22103-9

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →
Lihat di Sumber doi.org/10.1016/c2009-0-22103-9
Informasi Jurnal
Tahun Terbit
1973
Bahasa
en
Total Sitasi
1788×
Sumber Database
Semantic Scholar
DOI
10.1016/c2009-0-22103-9
Akses
Open Access ✓