Search Results for Kohlhase, Michael.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dKohlhase$00252C$002bMichael.$0026ic$003dtrue$0026ps$003d300?dt=list
2026-06-02T22:22:57Z
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616028
2026-06-02T22:22:57Z
2026-06-02T22:22:57Z
Author Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42547-4">https://doi.org/10.1007/978-3-319-42547-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182628
2026-06-02T22:22:57Z
2026-06-02T22:22:57Z
Author Kohlhase, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11618027">http://dx.doi.org/10.1007/11618027</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy
ent://SD_ILS/0/SD_ILS:184649
2026-06-02T22:22:57Z
2026-06-02T22:22:57Z
Author Kohlhase, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11826095">http://dx.doi.org/10.1007/11826095</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604336
2026-06-02T22:22:57Z
2026-06-02T22:22:57Z
Author Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X Frank, Anette. editor. (orcid)0000-0003-4706-9817 Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337 Stein, Benno. editor. (orcid)0000-0001-9033-2217 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63536-6">https://doi.org/10.1007/978-3-031-63536-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:610523
2026-06-02T22:22:57Z
2026-06-02T22:22:57Z
Author Nowaczyk, Sławomir. editor. Biecek, Przemysław. editor. Chung, Neo Christopher. editor. Vallati, Mauro. editor. (orcid)0000-0002-8429-3570 Skruch, Paweł. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50485-3">https://doi.org/10.1007/978-3-031-50485-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:610623
2026-06-02T22:22:57Z
2026-06-02T22:22:57Z
Author Nowaczyk, Sławomir. editor. Biecek, Przemysław. editor. Chung, Neo Christopher. editor. Vallati, Mauro. editor. (orcid)0000-0002-8429-3570 Skruch, Paweł. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50396-2">https://doi.org/10.1007/978-3-031-50396-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
KI 2006: Advances in Artificial Intelligence 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185936
2026-06-02T22:22:57Z
2026-06-02T22:22:57Z
Author Freksa, Christian. editor. Kohlhase, Michael. editor. Schill, Kerstin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69912-5">http://dx.doi.org/10.1007/978-3-540-69912-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>