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ç
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.
      Lambda calculus with types için kapak resmi
      1. 
      Lambda calculus with types
      by 
      Barendregt, Henk.
      Click to View
      Format: 
      Alıntı: 
      Lambda calculus with types Barendregt, Henk.
      The lambda calculus : its syntax and semantics için kapak resmi
      2. 
      The lambda calculus : its syntax and semantics
      by 
      Barendregt, H. P. (Hendrik Pieter)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444875082
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/103
      Format: 
      Alıntı: 
      The lambda calculus : its syntax and semantics / Barendregt, H. P. (Hendrik Pieter)
      Lectures on the Curry-Howard isomorphism için kapak resmi
      3. 
      Lectures on the Curry-Howard isomorphism
      by 
      Sørensen, Morten Heine.
      Click to View
      Format: 
      Alıntı: 
      Lambda calculus.
      Lectures on the Curry-Howard isomorphism için kapak resmi
      4. 
      Go to:Search Results
      |
      Search Facets
      |
      Top of Page