Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(203)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Schlechta, Karl. author.
(4)
Andreescu, Titu. author.
(3)
Dil
Yayın Yılı
-
Konu
Logic, Symbolic and mathematical.
(286)
Mathematics.
(109)
Computer science.
(96)
Logic.
(46)
Artificial intelligence.
(34)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
327 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Computational Artifacts Towards a Philosophy of Computer Science için kapak resmi
Computational Artifacts Towards a Philosophy of Computer Science
Yazar 
Turner, Raymond. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-55565-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Logical Foundations of Cyber-Physical Systems için kapak resmi
Logical Foundations of Cyber-Physical Systems
Yazar 
Platzer, André. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63588-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
A concise introduction to pure mathematics için kapak resmi
A concise introduction to pure mathematics
Yazar 
Liebeck, M. W. (Martin W.), 1954-
Yer Numarası 
QA9 L478 2016
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
16. 
Logic and discrete mathematics : a concise introduction için kapak resmi
Logic and discrete mathematics : a concise introduction
Yazar 
Conradie, Willem, 1978- author. Goranko, Valentin, author.
Yer Numarası 
QA9 C7423 2015
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
17. 
Introduction to mathematical logic için kapak resmi
Introduction to mathematical logic
Yazar 
Mendelson, Elliott.
Yer Numarası 
QA9 M4 2015
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
18. 
Formal logic, or, The calculus of inference, necessary and probable için kapak resmi
Formal logic, or, The calculus of inference, necessary and probable
Yazar 
De Morgan, Augustus, 1806-1871, author.
Yer Numarası 
BC135 D4 2014
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
19. 
Commonsense reasoning an event calculus-based approach için kapak resmi
Commonsense reasoning an event calculus-based approach
Yazar 
Mueller, Erik T., author.
Yer Numarası 
ONLINE(355437.1)
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780128014165
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
A transition to mathematics with proofs için kapak resmi
A transition to mathematics with proofs
Yazar 
Cullinane, Michael J.
Yer Numarası 
QA9 C84 2013
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
21. 
After Gödel : Platonism and rationalism in mathematics and logic için kapak resmi
After Gödel : Platonism and rationalism in mathematics and logic
Yazar 
Tieszen, Richard L., author.
Yer Numarası 
QA9 T54 2013
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
22. 
Belief Revision in Non-Classical Logics için kapak resmi
Belief Revision in Non-Classical Logics
Yazar 
Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330925.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz için kapak resmi
From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
Yazar 
Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(330942.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4282-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
The Mathematics of Paul Erdős II için kapak resmi
The Mathematics of Paul Erdős II
Yazar 
Graham, Ronald L. editor. Nešetřil, Jaroslav. editor. Butler, Steve. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332243.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-7254-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç