Bookmark Saya

Semantic Scholar Open Access 1990 1226 sitasi

First-Order Logic and Automated Theorem Proving

M. Fitting
Lihat Sumber DOI

Topik & Kata Kunci

Mathematics Computer Science

Penulis (1)

M

M. Fitting

Format Sitasi

APA MLA BibTeX
Fitting, M. (1990). First-Order Logic and Automated Theorem Proving. https://doi.org/10.1007/978-1-4612-2360-3

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →
Lihat di Sumber doi.org/10.1007/978-1-4612-2360-3
Informasi Jurnal
Tahun Terbit
1990
Bahasa
en
Total Sitasi
1226×
Sumber Database
Semantic Scholar
DOI
10.1007/978-1-4612-2360-3
Akses
Open Access ✓