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.
(315)
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ç
Eylem Seç
358 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Discrete mathematics and its applications için kapak resmi
Discrete mathematics and its applications
Yazar 
Rosen, Kenneth H. Krithivasan, Kamala.
Yer Numarası 
QA39.3 R674 2013
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
26. 
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:
27. 
A Course on Mathematical Logic için kapak resmi
A Course on Mathematical Logic
Yazar 
Srivastava, Shashi Mohan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331853.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-5746-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
An Invitation to Abstract Mathematics için kapak resmi
An Invitation to Abstract Mathematics
Yazar 
Bajnok, Béla. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332077.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6636-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction için kapak resmi
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
Yazar 
Pudlák, Pavel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332681.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-00119-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Ö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:
31. 
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:
32. 
Stochastic Calculus with Infinitesimals için kapak resmi
Stochastic Calculus with Infinitesimals
Yazar 
Herzberg, Frederik. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333673.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33149-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2 için kapak resmi
On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2
Yazar 
Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334018.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35644-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Mathematics of Fuzzy Sets and Fuzzy Logic için kapak resmi
Mathematics of Fuzzy Sets and Fuzzy Logic
Yazar 
Bede, Barnabas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333950.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35221-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion için kapak resmi
Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion
Yazar 
Hinkis, Arie. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332605.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-0348-0224-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Visual Reasoning with Diagrams için kapak resmi
Visual Reasoning with Diagrams
Yazar 
Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332637.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-0348-0600-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç