Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(225)
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.
(314)
Mathematics.
(129)
Computer science.
(101)
Logic.
(48)
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ç
357 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings için kapak resmi
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
Yazar 
Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334718.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39053-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Reactive Kripke Semantics için kapak resmi
Reactive Kripke Semantics
Yazar 
Gabbay, Dov M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335100.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41389-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Kurt Gödel Essays for his Centennial için kapak resmi
Kurt Gödel Essays for his Centennial
Yazar 
Feferman, Solomon. Parsons, Charles. Simpson, Stephen G..
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings için kapak resmi
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Yazar 
Hasegawa, Masahito. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334702.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38946-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements için kapak resmi
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
Yazar 
Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335941.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-5301-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
The Argument of Mathematics için kapak resmi
The Argument of Mathematics
Yazar 
Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(336263.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-6534-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik için kapak resmi
Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik
Yazar 
Hoffmann, Dirk W. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(337115.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34720-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Önermeler mantığı için kapak resmi
Önermeler mantığı
Yazar 
Nesin, Ali.
Yer Numarası 
QA270 N476 2013
Format: 
Durum 
Beytepe Kütüphanesi~3
Rafta:
Kopya:
33. 
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:
34. 
Logic and Structure için kapak resmi
Logic and Structure
Yazar 
Dalen, Dirk. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331010.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4558-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life için kapak resmi
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life
Yazar 
Dalen, Dirk. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331026.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4616-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
A Logical Introduction to Proof için kapak resmi
A Logical Introduction to Proof
Yazar 
Cunningham, Daniel W. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331358.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-3631-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets