![Symbolic logic and mechanical theorem proving için kapak resmi Symbolic logic and mechanical theorem proving için kapak resmi](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
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.
Yazar Ek Girişi:
Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
---|---|---|---|---|---|
Arıyor... | Kitap | 7.2/12/573986 | QA 9 C49 1973 | Arıyor... | Arıyor... |