Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(149)
Andreescu, Titu. author.
(3)
Dalen, Dirk. author.
(3)
Deiser, Oliver. author.
(3)
Hoffmann, Dirk W. author.
(3)
Dil
Yayın Yılı
-
Konu
Logic, Symbolic and mathematical.
(129)
Computer science.
(35)
Algebra.
(27)
Logic.
(22)
Number theory.
(21)
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ç
155 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933 için kapak resmi
David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
Yazar 
Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(336850.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69444-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
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:
27. 
Mathematical Logic and Model Theory A Brief Introduction için kapak resmi
Mathematical Logic and Model Theory A Brief Introduction
Yazar 
Prestel, Alexander. author. Delzell, Charles N. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-2176-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications için kapak resmi
Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications
Yazar 
Triantaphyllou, Evangelos. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-1630-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
A Missing Link in Cybernetics Logic and Continuity için kapak resmi
A Missing Link in Cybernetics Logic and Continuity
Yazar 
Andrew, Alex M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-75164-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Fuzzy Logic in Action: Applications in Epidemiology and Beyond için kapak resmi
Fuzzy Logic in Action: Applications in Epidemiology and Beyond
Yazar 
Massad, Eduardo. author. Ortega, Neli Regina Siqueira. author. Barros, Laecio Carvalho. author. Struchiner, Claudio José. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69094-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Logica Universalis Towards a General Theory of Logic için kapak resmi
Logica Universalis Towards a General Theory of Logic
Yazar 
Beziau, Jean-Yves. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-7643-8354-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Mathematical Problems from Applied Logic II Logics for the XXIst Century için kapak resmi
Mathematical Problems from Applied Logic II Logics for the XXIst Century
Yazar 
Gabbay, Dov M. editor. Zakharyaschev, Michael. editor. Goncharov, Sergei S. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-69245-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory için kapak resmi
Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory
Yazar 
Lau, Dietlinde. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-36023-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Mathematical Problems from Applied Logic I Logics for the XXIst Century için kapak resmi
Mathematical Problems from Applied Logic I Logics for the XXIst Century
Yazar 
Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-31072-X
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Signs of logic Peircean themes on the philosophy of language, games, and communication için kapak resmi
Signs of logic Peircean themes on the philosophy of language, games, and communication
Yazar 
Pietarinen, Ahti-Veikko. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3729-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition) için kapak resmi
Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
Yazar 
Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-36874-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç