Search ResultsElektronik Kaynaklar
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
1 sonuç bulundu Arama sonuçlarına abone ol
0DEFAULTTR
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ı: 
      COMPUTERS -- Computer Science.