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.
(324)
Mathematics.
(129)
Computer science.
(101)
Logic.
(49)
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ç
368 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
A concise introduction to pure mathematics için kapak resmi
A concise introduction to pure mathematics
Yazar 
Liebeck, M. W. (Martin W.), 1954-
Yer Numarası 
QA9 L478 2016
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2. 
Introduction to mathematical logic için kapak resmi
Introduction to mathematical logic
Yazar 
Mendelson, Elliott.
Yer Numarası 
QA9 M4 2015
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
3. 
Logic and discrete mathematics : a concise introduction için kapak resmi
Logic and discrete mathematics : a concise introduction
Yazar 
Conradie, Willem, 1978- author. Goranko, Valentin, author.
Yer Numarası 
QA9 C7423 2015
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
4. 
Commonsense reasoning an event calculus-based approach için kapak resmi
Commonsense reasoning an event calculus-based approach
Yazar 
Mueller, Erik T., author.
Yer Numarası 
ONLINE(355437.1)
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780128014165
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Formal logic, or, The calculus of inference, necessary and probable için kapak resmi
Formal logic, or, The calculus of inference, necessary and probable
Yazar 
De Morgan, Augustus, 1806-1871, author.
Yer Numarası 
BC135 D4 2014
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
6. 
Introduction to mathematical proofs için kapak resmi
Introduction to mathematical proofs
Yazar 
Roberts, Charles, author. Taylor and Francis.
Yer Numarası 
QA9.54
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Logicism and its philosophical legacy için kapak resmi
Logicism and its philosophical legacy
Yazar 
Demopoulos, William.
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=508286
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
An introduction to Gödel's theorems için kapak resmi
An introduction to Gödel's theorems
Yazar 
Smith, Peter, 1944- author.
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=533820
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
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:
10. 
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:
11. 
The Mathematics of Paul Erdős II için kapak resmi
The Mathematics of Paul Erdős II
Yazar 
Graham, Ronald L. editor. Nešetřil, Jaroslav. editor. Butler, Steve. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332243.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-7254-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
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ç