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
433. 
Truth through proof a formalist foundation for mathematics için kapak resmi
Truth through proof a formalist foundation for mathematics
Yazar 
Weir, Alan.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
434. 
Handbook of Set Theory için kapak resmi
Handbook of Set Theory
Yazar 
Foreman, Matthew. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-5764-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
435. 
Mathematische Logik için kapak resmi
Mathematische Logik
Yazar 
Ziegler, Martin. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-0346-0652-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
436. 
Games, puzzles, and computation için kapak resmi
Games, puzzles, and computation
Yazar 
Hearn, Robert A. Demaine, Erik D., 1981-
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
437. 
Introduction to mathematics of satisfiability için kapak resmi
Introduction to mathematics of satisfiability
Yazar 
Marek, V. W. (V. Wiktor), 1943-
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
438. 
Logical labyrinths için kapak resmi
Logical labyrinths
Yazar 
Smullyan, Raymond M.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
439. 
Teaching and learning proof across the grades a K-16 perspective için kapak resmi
Teaching and learning proof across the grades a K-16 perspective
Yazar 
Stylianou, Despina A. Blanton, Maria L. Knuth, Eric J. National Council of Teachers of Mathematics.
Yer Numarası 
ONLINE
Elektronik Erişim 
Click here to view
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
440. 
Ultimate Explanations of the Universe için kapak resmi
Ultimate Explanations of the Universe
Yazar 
Heller, Michael. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02103-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
441. 
Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings için kapak resmi
Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings
Yazar 
Treinen, Ralf. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02348-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
442. 
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings için kapak resmi
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
Yazar 
He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-04893-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
443. 
Algorithmic Composition Paradigms of Automated Music Generation için kapak resmi
Algorithmic Composition Paradigms of Automated Music Generation
Yazar 
Nierhaus, Gerhard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-211-75540-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
444. 
Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Science için kapak resmi
Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Science
Yazar 
Atmanspacher, Harald. editor. Primas, Hans. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-85198-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç