Arama Sonuçlarını Sınırlandır
Yazar
Voronkov, Andrei. editor.
(10)
Croitoru, Madalina. editor.
(5)
Rudolph, Sebastian. editor.
(5)
Eiter, Thomas. editor.
(4)
Iliadis, Lazaros. editor. (orcid)
(4)
Dil
Yayın Yılı
-
2023
(87)
2015
(66)
2011
(17)
2005
(16)
2008
(15)
Konu
Artificial intelligence.
(117)
Computer science.
(94)
Software engineering.
(40)
Information systems.
(34)
Logic design.
(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ç
307 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
Reasoning with Rough Sets Logical Approaches to Granularity-Based Framework için kapak resmi
Reasoning with Rough Sets Logical Approaches to Granularity-Based Framework
Yazar 
Akama, Seiki. author. Murai, Tetsuya. author. Kudo, Yasuo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-72691-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings için kapak resmi
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Yazar 
Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94205-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings için kapak resmi
Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
Yazar 
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99906-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
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:
53. 
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:
54. 
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:
55. 
Models of Strategic Reasoning Logics, Games, and Communities için kapak resmi
Models of Strategic Reasoning Logics, Games, and Communities
Yazar 
van Benthem, Johan. editor. Ghosh, Sujata. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)
Yer Numarası 
XX(519080.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-48540-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
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:
57. 
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:
58. 
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:
59. 
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings için kapak resmi
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings
Yazar 
Destercke, Sébastien. editor. Denoeux, Thierry. editor. SpringerLink (Online service)
Yer Numarası 
XX(519113.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-20807-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
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:
Eylem Seç