53 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
1. 
Logic and information flow için kapak resmi
Logic and information flow
Logic and information flow
Yazar 
Eijck, J. van (Jan)
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445
Format: 
Electronic Resources
Alıntı: 
Logic, Symbolic and mathematical.
2. 
The logic of knowledge bases için kapak resmi
The logic of knowledge bases
The logic of knowledge bases
Yazar 
Levesque, Hector J., 1951-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409
Format: 
Electronic Resources
Alıntı: 
Logic, Symbolic and mathematical.
5. 
Logics for Computer Science Classical and Non-Classical için kapak resmi
Logics for Computer Science Classical and Non-Classical
Logics for Computer Science Classical and Non-Classical
Yazar 
Wasilewska, Anita. author.
https://doi.org/10.1007/978-3-319-92591-2
Format: 
Electronic Resources
Alıntı: 
Logic, Symbolic and mathematical.
6. 
Intuitionistic Fuzzy Logics için kapak resmi
Intuitionistic Fuzzy Logics
Intuitionistic Fuzzy Logics
Yazar 
T. Atanassov, Krassimir. author.
https://doi.org/10.1007/978-3-319-48953-7
Format: 
Electronic Resources
Alıntı: 
Logic, Symbolic and mathematical.
7. 
Computational Artifacts Towards a Philosophy of Computer Science için kapak resmi
Computational Artifacts Towards a Philosophy of Computer Science
Computational Artifacts Towards a Philosophy of Computer Science
Yazar 
Turner, Raymond. author.
https://doi.org/10.1007/978-3-662-55565-1
Format: 
Electronic Resources
Alıntı: 
Logic, Symbolic and mathematical.
8. 
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ı: 
Logic, Symbolic and mathematical.
Tümünü Seç
53 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(49)
Pogodalla, Sylvain. editor.
(4)
Dediu, Adrian-Horia. editor.
(3)
Foret, Annie. editor.
(3)
Gerdt, Vladimir P. editor.
(3)
Format
Dil
Basım Yılı
Konu
Computer science.
(39)
Mathematical Logic and Formal Languages.
(33)
Artificial intelligence.
(30)
Symbolic and Algebraic Manipulation.
(26)
Computer science -- Mathematics.
(23)
Lokasyon
Kütüphane

TED Üniversitesi

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

Powered by Informascope