Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(307)
Voronkov, Andrei. editor.
(10)
Gabbay, Dov M., 1945-
(6)
Croitoru, Madalina. editor.
(5)
Project Muse.
(5)
Dil
Yayın Yılı
-
Konu
Artificial intelligence.
(121)
Computer science.
(94)
Reasoning.
(48)
Software engineering.
(40)
Information systems.
(34)
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ç
516 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
109. 
Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. için kapak resmi
Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.
Yazar 
ten Cate, Balder. editor. Mileo, Alessandra. editor. SpringerLink (Online service)
Yer Numarası 
XX(519157.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-22002-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
110. 
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Yazar 
Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Yer Numarası 
XX(519293.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23264-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
111. 
Reasoning and Public Health: New Ways of Coping with Uncertainty için kapak resmi
Reasoning and Public Health: New Ways of Coping with Uncertainty
Yazar 
Cummings, Louise. author. SpringerLink (Online service)
Yer Numarası 
XX(519555.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15013-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
112. 
Case-Based Reasoning Research and Development 23rd International Conference, ICCBR 2015, Frankfurt am Main, Germany, September 28-30, 2015. Proceedings için kapak resmi
Case-Based Reasoning Research and Development 23rd International Conference, ICCBR 2015, Frankfurt am Main, Germany, September 28-30, 2015. Proceedings
Yazar 
Hüllermeier, Eyke. editor. Minor, Mirjam. editor. SpringerLink (Online service)
Yer Numarası 
XX(518774.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-24586-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
113. 
Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. için kapak resmi
Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.
Yazar 
Faber, Wolfgang. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Yer Numarası 
XX(518822.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21768-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
114. 
Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings için kapak resmi
Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Yazar 
De Nivelle, Hans. editor. SpringerLink (Online service)
Yer Numarası 
XX(518971.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-24312-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
115. 
Graph Structures for Knowledge Representation and Reasoning 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers için kapak resmi
Graph Structures for Knowledge Representation and Reasoning 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers
Yazar 
Croitoru, Madalina. editor. Marquis, Pierre. editor. Rudolph, Sebastian. editor. Stapleton, Gem. editor. SpringerLink (Online service)
Yer Numarası 
XX(518979.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28702-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
116. 
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Yazar 
Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
XX(519103.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-48899-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
117. 
The Limits of Legal Reasoning and the European Court of Justice için kapak resmi
The Limits of Legal Reasoning and the European Court of Justice
Yazar 
Conway, Gerard.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
118. 
Reasoning Web. Reasoning and the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings için kapak resmi
Reasoning Web. Reasoning and the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings
Yazar 
Koubarakis, Manolis. editor. Stamou, Giorgos. editor. Stoilos, Giorgos. editor. Horrocks, Ian. editor. Kolaitis, Phokion. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-10587-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
119. 
Natural and Artificial Reasoning An Exploration of Modelling Human Thinking için kapak resmi
Natural and Artificial Reasoning An Exploration of Modelling Human Thinking
Yazar 
Addis, Tom. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11286-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
120. 
Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings için kapak resmi
Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings
Yazar 
Kontchakov, Roman. editor. Mugnier, Marie-Laure. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11113-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç