Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(470)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Mostowski, Andrzej.
(4)
Schlechta, Karl. author.
(4)
Dil
Yayın Yılı
-
Konu
Logic, Symbolic and mathematical.
(314)
Computer science.
(198)
Artificial intelligence.
(156)
Mathematical logic.
(151)
Mathematics.
(133)
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ç
624 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
397. 
Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles için kapak resmi
Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles
Yazar 
Bartocci, Claudio. editor. Betti, Renato. editor. Guerraggio, Angelo. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13606-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
398. 
Cantor und die Franzosen Mathematik, Philosophie und das Unendliche için kapak resmi
Cantor und die Franzosen Mathematik, Philosophie und das Unendliche
Yazar 
Décaillot, Anne-Marie. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14869-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
399. 
Conditionals and Modularity in General Logics için kapak resmi
Conditionals and Modularity in General Logics
Yazar 
Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19068-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
400. 
Hyperfinite Dirichlet Forms and Stochastic Processes için kapak resmi
Hyperfinite Dirichlet Forms and Stochastic Processes
Yazar 
Albeverio, Sergio. author. Fan, Ruzong. author. Herzberg, Frederik. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19659-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
401. 
Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions için kapak resmi
Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions
Yazar 
Kaiser, Łukasz. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22807-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
402. 
The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings için kapak resmi
The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
Yazar 
Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-23211-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
403. 
Un mondo di idee La matematica ovunque için kapak resmi
Un mondo di idee La matematica ovunque
Yazar 
Ciliberto, Ciro. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-88-470-1744-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
404. 
Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008 için kapak resmi
Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008
Yazar 
Skof, Fulvia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-88-470-1836-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
405. 
Advanced Łukasiewicz calculus and MV-algebras için kapak resmi
Advanced Łukasiewicz calculus and MV-algebras
Yazar 
Mundici, D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0840-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
406. 
Treatise on Intuitionistic Type Theory için kapak resmi
Treatise on Intuitionistic Type Theory
Yazar 
Granström, Johan Georg. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-1736-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
407. 
The Selected Correspondence of L.E.J. Brouwer için kapak resmi
The Selected Correspondence of L.E.J. Brouwer
Yazar 
Dalen, Dirk. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-85729-537-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
408. 
Quantifiers, Propositions and Identity Admissible Semantics for Quantified Modal and Substructural Logics için kapak resmi
Quantifiers, Propositions and Identity Admissible Semantics for Quantified Modal and Substructural Logics
Yazar 
Goldblatt, Robert.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç