5 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ç
00000DEFAULTTR
Yazdır
1. 
The Incomputable Journeys Beyond the Turing Barrier için kapak resmi
The Incomputable Journeys Beyond the Turing Barrier
The Incomputable Journeys Beyond the Turing Barrier
Yazar 
Cooper, S. Barry. editor.
https://doi.org/10.1007/978-3-319-43669-2
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes
2. 
Transactions on Computational Science XXXIII için kapak resmi
Transactions on Computational Science XXXIII
Transactions on Computational Science XXXIII
Yazar 
Gavrilova, Marina L. editor.
https://doi.org/10.1007/978-3-662-58039-4
Format: 
Electronic Resources
Alıntı: 
Logic Design. http://scigraph.springernature.com/things/product-market-codes/I12050
4. 
Handbook of Model Checking için kapak resmi
Handbook of Model Checking
Handbook of Model Checking
Yazar 
Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-319-10575-8
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes
5. 
Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches için kapak resmi
Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches
Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches
Yazar 
Steffen, Bernhard. author.
https://doi.org/10.1007/978-3-319-68397-3
Format: 
Electronic Resources
Alıntı: 
introduction to the elementary mathematical structures, such as sets, propositional logic, relations, and
Tümünü Seç
5 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
Format
Dil
Basım Yılı
Konu
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