Search ResultsElektronik Kaynaklar
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ç
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.
      Go to:Search Results
      |
      Search Facets
      |
      Top of Page