366 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.
4. 
Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics için kapak resmi
Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics
Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics
Yazar 
Montano, Ulianov. author.
http://dx.doi.org/10.1007/978-3-319-03452-2
Format: 
Electronic Resources
Alıntı: 
Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics Montano, Ulianov. author.
6. 
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.
8. 
Johan van Benthem on Logic and Information Dynamics için kapak resmi
Johan van Benthem on Logic and Information Dynamics
Johan van Benthem on Logic and Information Dynamics
Yazar 
Baltag, Alexandru. editor.
http://dx.doi.org/10.1007/978-3-319-06025-5
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations.
9. 
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.
10. 
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.
11. 
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.
12. 
A Mathematical Prelude to the Philosophy of Mathematics için kapak resmi
A Mathematical Prelude to the Philosophy of Mathematics
A Mathematical Prelude to the Philosophy of Mathematics
Yazar 
Pollard, Stephen. author.
http://dx.doi.org/10.1007/978-3-319-05816-0
Format: 
Electronic Resources
Alıntı: 
A Mathematical Prelude to the Philosophy of Mathematics Pollard, Stephen. author.
Tümünü Seç
366 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(353)
IEEE Xplore (Online Service), distributor.
(11)
MIT Press, publisher.
(8)
Bansal, Jagdish Chand. editor.
(7)
Deep, Kusum. editor.
(7)
Format
Dil
English
(366)
Basım Yılı
Konu
Computer science.
(301)
Mathematical logic.
(291)
Mathematical Logic and Formal Languages.
(271)
Computer logic.
(182)
Logics and Meanings of Programs.
(182)
Lokasyon
Kütüphane

TED Üniversitesi

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

Powered by Informascope