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... |