Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(14)
Adler, Mortimer Jerome, 1902-
(1)
Amgoud, Leila. author.
(1)
Bobillo, Fernando. editor.
(1)
Bogoslovsky, Boris Basil, 1890-
(1)
Dil
Konu
Computer science.
(12)
Artificial Intelligence (incl. Robotics).
(10)
Artificial intelligence.
(10)
Mathematical Logic and Formal Languages.
(9)
Logic design.
(7)
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ç
27 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
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:
2. 
Judgment and reasoning in the child için kapak resmi
Judgment and reasoning in the child
Yazar 
Piaget, Jean, 1896- Cartalis, Mlles E., collab.
Yer Numarası 
BF 723.R4 P53 1928
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
3. 
Case-based reasoning a concise introduction için kapak resmi
Case-based reasoning a concise introduction
Yazar 
López, Beatriz.
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578513
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Case-Based Reasoning A Textbook için kapak resmi
Case-Based Reasoning A Textbook
Yazar 
Richter, Michael M. author. Weber, Rosina O. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334902.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40167-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
A General Framework for Reasoning On Inconsistency için kapak resmi
A General Framework for Reasoning On Inconsistency
Yazar 
Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332107.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6750-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Methods and criteria of reasoning : an inquiry into the structure of controversy için kapak resmi
Methods and criteria of reasoning : an inquiry into the structure of controversy
Yazar 
Crawshay-Williams, Rupert.
Yer Numarası 
BC 177 C7 1957 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
7. 
A primer on clinical experience in medicine reasoning, decision making, and communication in health sciences için kapak resmi
A primer on clinical experience in medicine reasoning, decision making, and communication in health sciences
Yazar 
Jenicek, Milos, 1935-
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:
8. 
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings için kapak resmi
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
Yazar 
Gaag, Linda C. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334728.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39091-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Automated Reasoning and Mathematics Essays in Memory of William W. McCune için kapak resmi
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Yazar 
Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334264.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36675-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Geometric Modeling and Reasoning of Human-Centered Freeform Products için kapak resmi
Geometric Modeling and Reasoning of Human-Centered Freeform Products
Yazar 
Wang, Charlie C. L. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330961.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4360-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings için kapak resmi
Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
Yazar 
Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334832.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39666-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings için kapak resmi
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Yazar 
Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334962.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40537-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: