Kohlhase, Michael books & textbook
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings (Lecture Notes in Artificial Intelligence)
Kohlhase, Michael Johansson, Moa Miller, Bruce de Moura, Leonardo Tompa, Frank
Springer /2016-07-12 Paperback / 177 Pages
isbn-10: 3319425463 / isbn-13: 9783319425467
Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers (Lecture Notes in Computer Science, 3863)
Springer /2006-02-01 Paperback / 420 Pages
isbn-10: 354031430X / isbn-13: 9783540314301
KI 2006: 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings (Lecture Notes in Computer Science, 4314)
Freksa, Christian Kohlhase, Michael Schill, Kerstin
Springer /2007-01-18 Paperback / 476 Pages
isbn-10: 3540699112 / isbn-13: 9783540699118
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science, 4180)
Springer /2006-08-17 Paperback / 451 Pages
isbn-10: 3540378979 / isbn-13: 9783540378976
Digitalisierung Von Zivilprozess Und Rechtsdurchsetzung (German Edition)
Adrian, Axel Zwickel, Martin Kohlhase, Michael Evert, Stephanie
Duncker & Humblot /2022-07-13 Paperback / 332 Pages
isbn-10: 3428186443 / isbn-13: 9783428186440
Robust Argumentation Machines: First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings (Lecture Notes in Artificial Intelligence)
Cimiano, Philipp Frank, Anette Kohlhase, Michael Stein, Benno
Springer /2024-07-17 Paperback / 392 Pages
isbn-10: 3031635353 / isbn-13: 9783031635359
Artificial Intelligence. ECAI 2023 International Workshops: XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – ... in Computer and Information Science, 1948)
Nowaczyk, Sławomir Biecek, Przemysław Chung, Neo Christopher Vallati, Mauro Skruch, Paweł Jaworek-Korjakowska, Joanna Parkinson, Simon Nikitas, Alexandros Atzmüller, Martin Kliegr, Tomáš Schmid, Ute Bobek, Szymon Lavrac, Nada Peeters, Marieke van Dierendonck, Roland Robben, Saskia Mercier-Laurent, Eunika Kayakutlu, Gülgün Owoc, Mieczyslaw Lech Mason, Karl Wahid, Abdul Bruno, Pierangela Calimeri, Francesco Cauteruccio, Francesco Terracina, Giorgio Wolter, Diedrich Leidner, Jochen L. Kohlhase, Michael Dimitrova, Vania
Springer /2024-01-25 Paperback / 492 Pages
isbn-10: 3031504844 / isbn-13: 9783031504846
Artificial Intelligence. ECAI 2023 International Workshops: XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – ... in Computer and Information Science, 1947)
Nowaczyk, Sławomir Biecek, Przemysław Chung, Neo Christopher Vallati, Mauro Skruch, Paweł Jaworek-Korjakowska, Joanna Parkinson, Simon Nikitas, Alexandros Atzmüller, Martin Kliegr, Tomáš Schmid, Ute Bobek, Szymon Lavrac, Nada Peeters, Marieke van Dierendonck, Roland Robben, Saskia Mercier-Laurent, Eunika Kayakutlu, Gülgün Owoc, Mieczyslaw Lech Mason, Karl Wahid, Abdul Bruno, Pierangela Calimeri, Francesco Cauteruccio, Francesco Terracina, Giorgio Wolter, Diedrich Leidner, Jochen L. Kohlhase, Michael Dimitrova, Vania
Springer /2024-01-21 Paperback / 474 Pages
isbn-10: 3031503953 / isbn-13: 9783031503955
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
Kerber, Manfred Kohlhase, Michael
A K Peters/CRC Press /2001-04-02 Hardcover / 284 Pages
isbn-10: 1568811454 / isbn-13: 9781568811451
