Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(15)
Montani, Stefania. editor.
(2)
Voronkov, Andrei. editor.
(2)
Adler, Mortimer Jerome, 1902-
(1)
Anshakov, Oleg M. author.
(1)
Dil
Konu
Artificial intelligence.
(12)
Reasoning.
(8)
Computer science.
(7)
Engineering.
(5)
Information systems.
(4)
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ç
37 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings için kapak resmi
Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
Yazar 
Giesl, Jürgen. editor. Hähnle, Reiner. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14203-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Case-Based Reasoning. Research and Development 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings için kapak resmi
Case-Based Reasoning. Research and Development 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings
Yazar 
Bichindaritz, Isabelle. editor. Montani, Stefania. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14274-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Combinatorics and Reasoning Representing, Justifying and Building Isomorphisms için kapak resmi
Combinatorics and Reasoning Representing, Justifying and Building Isomorphisms
Yazar 
Maher, Carolyn A. editor. Powell, Arthur B. editor. Uptegrove, Elizabeth B. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-98132-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
By parallel reasoning the construction and evaluation of analogical arguments için kapak resmi
By parallel reasoning the construction and evaluation of analogical arguments
Yazar 
Bartha, Paul F. A., 1964-
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195325539.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
Yazar 
Clarke, Edmund M. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17511-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Developing essential understanding of ratios, proportions, and proportional reasoning for teaching mathematics in grades 6-8 için kapak resmi
Developing essential understanding of ratios, proportions, and proportional reasoning for teaching mathematics in grades 6-8
Yazar 
Lobato, Joanne. Ellis, Amy B. Charles, Randall I. (Randall Inners), 1949-
Yer Numarası 
QA135.6 L63 2010
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
19. 
Hierarchical Voronoi Graphs Spatial Representation and Reasoning for Mobile Robots için kapak resmi
Hierarchical Voronoi Graphs Spatial Representation and Reasoning for Mobile Robots
Yazar 
Wallgrün, Jan Oliver. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-10345-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery için kapak resmi
Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery
Yazar 
Magnani, Lorenzo. editor. Carnielli, Walter. editor. Pizzi, Claudio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15223-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures için kapak resmi
Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures
Yazar 
Aßmann, Uwe. editor. Bartho, Andreas. editor. Wende, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15543-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Web Reasoning and Rule Systems Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings için kapak resmi
Web Reasoning and Rule Systems Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings
Yazar 
Hitzler, Pascal. editor. Lukasiewicz, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15918-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
Yazar 
Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16242-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Rethinking the BSE Crisis A Study of Scientific Reasoning under Uncertainty için kapak resmi
Rethinking the BSE Crisis A Study of Scientific Reasoning under Uncertainty
Yazar 
Cummings, Louise. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-9504-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: