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
385. 
Reading, Writing, and Proving A Closer Look at Mathematics için kapak resmi
Reading, Writing, and Proving A Closer Look at Mathematics
Yazar 
Daepp, Ulrich. author. Gorkin, Pamela. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-9479-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
386. 
Recursion Theory and Computational Complexity için kapak resmi
Recursion Theory and Computational Complexity
Yazar 
Lolli, G. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11072-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
387. 
Model Theory and Applications için kapak resmi
Model Theory and Applications
Yazar 
Mangani, P. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11121-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
388. 
From Objects to Diagrams for Ranges of Functors için kapak resmi
From Objects to Diagrams for Ranges of Functors
Yazar 
Gillibert, Pierre. author. Wehrung, Friedrich. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21774-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
389. 
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings için kapak resmi
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Yazar 
Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24130-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
390. 
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:
391. 
McGraw-Hill's LSAT için kapak resmi
McGraw-Hill's LSAT
Yazar 
Curvebreakers.
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
392. 
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:
393. 
Logic demystified için kapak resmi
Logic demystified
Yazar 
Boutelle, Anthony. Gibilisco, Stan.
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
394. 
Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik için kapak resmi
Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik
Yazar 
Hoffmann, Dirk W. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8274-2560-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
395. 
Logica: Metodo Breve için kapak resmi
Logica: Metodo Breve
Yazar 
Mundici, Daniele. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-88-470-1884-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
396. 
Logical Dynamics of Information and Interaction için kapak resmi
Logical Dynamics of Information and Interaction
Yazar 
van Benthem, Johan.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç