120 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
000000000000DEFAULTTR
Yazdır
3. 
Computational Complexity of Solving Equation Systems için kapak resmi
Computational Complexity of Solving Equation Systems
Computational Complexity of Solving Equation Systems
Yazar 
Broniek, Przemysław. author.
http://dx.doi.org/10.1007/978-3-319-21750-5
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations.
4. 
Dag Prawitz on Proofs and Meaning için kapak resmi
Dag Prawitz on Proofs and Meaning
Dag Prawitz on Proofs and Meaning
Yazar 
Wansing, Heinrich. editor.
http://dx.doi.org/10.1007/978-3-319-11041-7
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations.
5. 
From Logic to Practice Italian Studies in the Philosophy of Mathematics için kapak resmi
From Logic to Practice Italian Studies in the Philosophy of Mathematics
From Logic to Practice Italian Studies in the Philosophy of Mathematics
Yazar 
Lolli, Gabriele. editor.
http://dx.doi.org/10.1007/978-3-319-10434-8
Format: 
Electronic Resources
Alıntı: 
From Logic to Practice Italian Studies in the Philosophy of Mathematics / Lolli, Gabriele. editor.
6. 
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer için kapak resmi
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
Yazar 
Atten, Mark van. author.
http://dx.doi.org/10.1007/978-3-319-10031-9
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations.
7. 
Linguistic Expressions and Semantic Processing A Practical Approach için kapak resmi
Linguistic Expressions and Semantic Processing A Practical Approach
Linguistic Expressions and Semantic Processing A Practical Approach
Yazar 
Butler, Alastair. author.
http://dx.doi.org/10.1007/978-3-319-18830-0
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages.
Tümünü Seç
120 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(120)
Bansal, Jagdish Chand. editor.
(2)
Das, Kedar Nath. editor.
(2)
Deep, Kusum. editor.
(2)
Italiano, Giuseppe F. editor.
(2)
Format
Dil
English
(120)
Konu
Computer science.
(100)
Mathematical logic.
(97)
Mathematical Logic and Formal Languages.
(89)
Computer logic.
(61)
Logics and Meanings of Programs.
(61)
Materyal Türü
Kütüphane
Git:Arama SonuçlarıSayfa BaşıArama Filtreleri

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope