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
457. 
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:
458. 
Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings için kapak resmi
Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
Yazar 
Grädel, Erich. editor. Kahle, Reinhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-04027-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
459. 
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:
460. 
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:
461. 
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:
462. 
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:
463. 
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:
464. 
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:
465. 
Scenario Logic and Probabilistic Management of Risk in Business and Engineering için kapak resmi
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
Yazar 
Solojentsev, Evgueni D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-77946-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
466. 
Logic and Integer Programming için kapak resmi
Logic and Integer Programming
Yazar 
Williams, H. Paul. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-92280-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
467. 
Mathematical Olympiad Challenges için kapak resmi
Mathematical Olympiad Challenges
Yazar 
Andreescu, Titu. author. Gelca, Răzvan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-8176-4611-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
468. 
Completeness Theory for Propositional Logics için kapak resmi
Completeness Theory for Propositional Logics
Yazar 
Pogorzelski, Witold A. author. Wojtylak, Piotr. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-7643-8518-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç