273 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
2. 
Refinement in Z and Object-Z Foundations and Advanced Applications için kapak resmi
Refinement in Z and Object-Z Foundations and Advanced Applications
Refinement in Z and Object-Z Foundations and Advanced Applications
Yazar 
Derrick, John. author.
http://dx.doi.org/10.1007/978-1-4471-5355-9
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages.
4. 
Epistemology, Context, and Formalism için kapak resmi
Epistemology, Context, and Formalism
Epistemology, Context, and Formalism
Yazar 
Lihoreau, Franck. editor.
http://dx.doi.org/10.1007/978-3-319-02943-6
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages.
5. 
Leo Esakia on Duality in Modal and Intuitionistic Logics için kapak resmi
Leo Esakia on Duality in Modal and Intuitionistic Logics
Leo Esakia on Duality in Modal and Intuitionistic Logics
Yazar 
Bezhanishvili, Guram. editor.
http://dx.doi.org/10.1007/978-94-017-8860-1
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages.
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.
8. 
David Makinson on Classical Methods for Non-Classical Problems için kapak resmi
David Makinson on Classical Methods for Non-Classical Problems
David Makinson on Classical Methods for Non-Classical Problems
Yazar 
Hansson, Sven Ove. editor.
http://dx.doi.org/10.1007/978-94-007-7759-0
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages.
11. 
Transactions on Rough Sets XVII için kapak resmi
Transactions on Rough Sets XVII
Transactions on Rough Sets XVII
Yazar 
Peters, James F. editor.
http://dx.doi.org/10.1007/978-3-642-54756-0
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages.
Tümünü Seç
273 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(272)
Bouchon-Meunier, Bernadette. editor.
(5)
Yager, Ronald R. editor.
(5)
Martín-Vide, Carlos. editor.
(4)
Potapov, Igor. editor.
(4)
Format
Dil
English
(273)
Basım Yılı
1962
(1)
2014
(103)
2015
(89)
2016
(80)
Konu
Mathematical Logic and Formal Languages.
(271)
Mathematical logic.
(271)
Computer science.
(265)
Computer logic.
(167)
Logics and Meanings of Programs.
(167)
Materyal Türü
Lokasyon
Kütüphane

TED Üniversitesi

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

Powered by Informascope