Search ResultsElectronic Resources
Arama Sonuçlarını Sınırlandır
Yazar
Materyal Türü
Dil
Yayın Yılı
-
Konu
Kütüphane
Lokasyon
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
3 sonuç bulundu Arama sonuçlarına abone ol
000DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      A computational logic için kapak resmi
      1. 
      A computational logic
      by 
      Boyer, Robert S.
      ScienceDirect https://www.sciencedirect.com/science/book/9780121229504
      Format: 
      Alıntı: 
      MATHEMATICS -- General.
      Automated theorem proving : a logical basis için kapak resmi
      2. 
      Automated theorem proving : a logical basis
      by 
      Loveland, Donald W.
      ScienceDirect https://www.sciencedirect.com/science/book/9780720404999
      Format: 
      Alıntı: 
      MATHEMATICS -- General.
      Symbolic logic and mechanical theorem proving için kapak resmi
      3. 
      Symbolic logic and mechanical theorem proving
      by 
      Chang, Chin-Liang, 1937-
      ScienceDirect https://www.sciencedirect.com/science/book/9780080917283
      Format: 
      Alıntı: 
      MATHEMATICS -- General.