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ç
Eylem Seç
2 sonuç bulundu Arama sonuçlarına abone ol
00DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 için kapak resmi
      1. 
      Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
      by 
      IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Belgium)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444898807
      Format: 
      Alıntı: 
      particular consideration are: novel developments in higher order logic and its implementations in HOL; formal
      Greek, Indian, and Arabic logic için kapak resmi
      2. 
      Greek, Indian, and Arabic logic
      by 
      Gabbay, Dov M., 1945-
      to access electronic resource
      ScienceDirect http://www.sciencedirect.com/science/book/9780444504661
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=18745857&volume=1
      Format: 
      Alıntı: 
      Logic is the result of a design that gives to its distinguished authors as much space as would be needed