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
25. 
Case-Based Reasoning on Images and Signals için kapak resmi
Case-Based Reasoning on Images and Signals
Yazar 
Perner, Petra. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73180-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Visualization, Explanation and Reasoning Styles in Mathematics için kapak resmi
Visualization, Explanation and Reasoning Styles in Mathematics
Yazar 
Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3335-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Constraint Satisfaction Techniques for Agent-Based Reasoning için kapak resmi
Constraint Satisfaction Techniques for Agent-Based Reasoning
Yazar 
Neagu, Nicoleta. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b137139
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Case-Based Reasoning Research and Development 31st International Conference, ICCBR 2023, Aberdeen, UK, July 17-20, 2023, Proceedings için kapak resmi
Case-Based Reasoning Research and Development 31st International Conference, ICCBR 2023, Aberdeen, UK, July 17-20, 2023, Proceedings
Yazar 
Massie, Stewart. editor. Chakraborti, Sutanu. editor. SpringerLink (Online service)
Yer Numarası 
XX(521060.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-40177-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Graph-Based Representation and Reasoning 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings için kapak resmi
Graph-Based Representation and Reasoning 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings
Yazar 
Ojeda-Aciego, Manuel. editor. Sauerwald, Kai. editor. Jäschke, Robert. editor. SpringerLink (Online service)
Yer Numarası 
XX(521072.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-40960-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings için kapak resmi
Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
Yazar 
Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)
Yer Numarası 
XX(521244.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-45072-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings için kapak resmi
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Yazar 
Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Yer Numarası 
XX(521139.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43513-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Clinical Reasoning and Evidence-Based Practice Deliberate Decision-Making by Nurses için kapak resmi
Clinical Reasoning and Evidence-Based Practice Deliberate Decision-Making by Nurses
Yazar 
Dobber, Jos. author. Harmsen, José. author. van Iersel, Margriet. author. SpringerLink (Online service)
Yer Numarası 
XX(521939.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-27069-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas için kapak resmi
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Yazar 
Farmer, William M. author. SpringerLink (Online service)
Yer Numarası 
XX(520259.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-21112-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Reasoning Web. Causality, Explanations and Declarative Knowledge 18th International Summer School 2022, Berlin, Germany, September 27-30, 2022, Tutorial Lectures için kapak resmi
Reasoning Web. Causality, Explanations and Declarative Knowledge 18th International Summer School 2022, Berlin, Germany, September 27-30, 2022, Tutorial Lectures
Yazar 
Bertossi, Leopoldo. editor. Xiao, Guohui. editor. SpringerLink (Online service)
Yer Numarası 
XX(521291.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-31414-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Reasoning Web. Explainable Artificial Intelligence 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures için kapak resmi
Reasoning Web. Explainable Artificial Intelligence 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures
Yazar 
Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601 Stepanova, Daria. editor. (orcid)0000-0001-8654-5121 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-31423-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings için kapak resmi
Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
Yazar 
Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-31095-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç