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
361. 
A Beginner's Guide to Finite Mathematics For Business, Management, and the Social Sciences için kapak resmi
A Beginner's Guide to Finite Mathematics For Business, Management, and the Social Sciences
Yazar 
Wallis, W.D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-8176-8319-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
362. 
Combinatorial Set Theory With a Gentle Introduction to Forcing için kapak resmi
Combinatorial Set Theory With a Gentle Introduction to Forcing
Yazar 
Halbeisen, Lorenz J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-2173-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
363. 
Lecture Notes on O-Minimal Structures and Real Analytic Geometry için kapak resmi
Lecture Notes on O-Minimal Structures and Real Analytic Geometry
Yazar 
Miller, Chris. editor. Rolin, Jean-Philippe. editor. Speissegger, Patrick. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-4042-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
364. 
Introduction to Mathematical Structures and Proofs için kapak resmi
Introduction to Mathematical Structures and Proofs
Yazar 
Gerstein, Larry J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-4265-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
365. 
Logic: A Brief Course için kapak resmi
Logic: A Brief Course
Yazar 
Mundici, Daniele. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-88-470-2361-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
366. 
Non solo calcoli Domande e risposte sui perché della matematica için kapak resmi
Non solo calcoli Domande e risposte sui perché della matematica
Yazar 
Villani, Vinicio. author. Bernardi, Claudio. author. Zoccante, Sergio. author. Porcaro, Roberto. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-88-470-2610-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
367. 
Hybrid Dynamical Systems : Modeling, Stability, and Robustness. için kapak resmi
Hybrid Dynamical Systems : Modeling, Stability, and Robustness.
Yazar 
Goebel, Rafal. Sanfelice, Ricardo G. Teel, Andrew R.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://www.jstor.org/stable/10.2307/j.ctt7s02z
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
368. 
The logician and the engineer : how George Boole and Claude Shannon created the information age için kapak resmi
The logician and the engineer : how George Boole and Claude Shannon created the information age
Yazar 
Nahin, Paul J.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://www.jstor.org/stable/10.2307/j.cttq957s
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
369. 
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.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199606207.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
370. 
The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein için kapak resmi
The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein
Yazar 
Hopkins, Burt C. Project Muse.
Yer Numarası 
ONLINE
Elektronik Erişim 
Full text available:
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
371. 
Computational logic and human thinking how to be artificially intelligent için kapak resmi
Computational logic and human thinking how to be artificially intelligent
Yazar 
Kowalski, Robert.
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375916
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
372. 
McGraw-Hill's conquering LSAT logic games için kapak resmi
McGraw-Hill's conquering LSAT logic games
Yazar 
Curvebreakers.
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç