Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(477)
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.
(157)
Mathematical logic.
(152)
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ç
631 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
445. 
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:
446. 
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:
447. 
Introduction to Boolean Algebras için kapak resmi
Introduction to Boolean Algebras
Yazar 
Halmos, Paul. author. Givant, Steven. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-68436-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
448. 
The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators için kapak resmi
The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators
Yazar 
Soifer, Alexander. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-74642-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
449. 
A Missing Link in Cybernetics Logic and Continuity için kapak resmi
A Missing Link in Cybernetics Logic and Continuity
Yazar 
Andrew, Alex M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-75164-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
450. 
Generalized Measure Theory için kapak resmi
Generalized Measure Theory
Yazar 
Wang, Zhenyuan. author. Klir, George J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-76852-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
451. 
Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics için kapak resmi
Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics
Yazar 
Constanda, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-539-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
452. 
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:
453. 
Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information için kapak resmi
Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information
Yazar 
Sommaruga, Giovanni. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-00659-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
454. 
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:
455. 
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:
456. 
Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings için kapak resmi
Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings
Yazar 
Wen, Peng. editor. Li, Yuefeng. editor. Polkowski, Lech. editor. Yao, Yiyu. editor. Tsumoto, Shusaku. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02962-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç