Symbolic logic and mechanical theorem proving
tarafından
Chang, Chin-Liang, 1937-
Başlık
:
Symbolic logic and mechanical theorem proving
Yazar
:
Chang, Chin-Liang, 1937-
Yayın Bilgileri
:
New York : Academic, 1973.
Fiziksel Tanımlama
:
331 s.
Konu Terimleri
:
MANTIK, SEMBOLİK VE MATEMATİKİ.
OTOMATİK KURAM KANITLAMASI.
YAPAY ZEKA.
Yazar Ek Girişi
:
Lee, R. C., ed.
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Beytepe Kütüphanesi | Kitap | 7.2/12/573986 | QA 9 C49 1973 | | Beytepe Genel Koleksiyon |