Search ResultsElektronik Kaynaklar
Liste görünümüne geç
Küçük resim görünümüne geç
4 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      A many-sorted calculus based on resolution and paramodulation için kapak resmi
      1. 
      A many-sorted calculus based on resolution and paramodulation
      by 
      Walther, Christoph.
      ScienceDirect http://www.sciencedirect.com/science/book/9780273087182
      Format: 
      Alıntı: 
      Research notes in artificial intelligence (London, England)
      Handbook of automated reasoning için kapak resmi
      2. 
      Handbook of automated reasoning
      by 
      Robinson, J. A. (John Alan)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444508133
      Format: 
      Alıntı: 
      Artificial Intelligence.
      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ı: 
      Artificial intelligence.
      A computational logic için kapak resmi
      4. 
      A computational logic
      by 
      Boyer, Robert S.
      ScienceDirect https://www.sciencedirect.com/science/book/9780121229504
      Format: 
      Alıntı: 
      Mechanical Theorem-Prover; F. Artificial Intelligence or Logic?; G. Organization; Chapter 2. A Sketch of the
      Go to:Search Results
      |
      Search Facets
      |
      Top of Page