15 results
Type of media (2)
Language (2)
Classification (5)
Year
Persons
Publishers
Sort by
Results per page
Filter
15 results

Your search for Michael Kohlhase

  1. Cover: Digitalisierung von Zivilprozess und Rechtsdurchsetzung - Duncker & Humblot
    Adrian | Kohlhase | Evert
    Digitalisierung von Zivilprozess und Rechtsdurchsetzung
    07/2022
    1st EDN1st Edition
    Duncker & Humblot
    9783428186440 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €99.90
    Shipment within 5-7 days
  2. Cover: Hochschuldidaktik Informatik HDI 2023 - Universitätsverlag Potsdam
    Daniel Braun | Melanie Seiss | Barbara Pampel
    Hochschuldidaktik Informatik HDI 2023
    10. Fachtagung des GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik ; 13.-14. September 2023 in Aachen
    12/2025
    Universitätsverlag Potsdam
    9783869565965 (ISBN)
    Book
    Paperback/Softback
    €21.00
    Shipment within 7-9 days
  3. Cover: Artificial Intelligence. ECAI 2023 International Workshops - Springer
    Slawomir Nowaczyk | Przemyslaw Biecek | Neo Christopher Chung
    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
    01/2024
    Springer
    9783031504853 (ISBN)
    E-Book
    PDF
    Other editions
    €117.69
    Available for download
  4. Cover: Artificial Intelligence. ECAI 2023 International Workshops - Springer
    Slawomir Nowaczyk | Przemyslaw Biecek | Neo Christopher Chung
    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
    01/2024
    Springer
    9783031503962 (ISBN)
    E-Book
    PDF
    Other editions
    €106.99
    Available for download
  5. Cover: Intelligent Computer Mathematics - Springer
    Michael Kohlhase | Moa Johansson | Bruce Miller
    Intelligent Computer Mathematics
    9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
    07/2016
    Springer
    9783319425474 (ISBN)
    E-Book
    PDF
    Other editions
    €42.79
    Available for download
  6. Cover: Symbolic Computation and Automated Reasoning - CRC Press
    Manfred Kerber | Michael Kohlhase
    Symbolic Computation and Automated Reasoning
    The CALCULEMUS-2000 Symposium
    04/2001
    1st EDN1st Edition
    CRC Press
    9781439864234 (ISBN)
    E-Book
    PDF
    Other editions
    €73.49
    Available for download
  7. Cover: Mathematical Knowledge Management - Springer
    Michael Kohlhase
    Mathematical Knowledge Management
    4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
    02/2006
    Springer
    9783540314301 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  8. Cover: Symbolic Computation and Automated Reasoning - CRC Press
    Manfred Kerber | Michael Kohlhase
    Symbolic Computation and Automated Reasoning
    The CALCULEMUS-2000 Symposium
    04/2001
    CRC Press
    9781040186848 (ISBN)
    E-Book
    ePUB
    Other editions
    €73.99
    Available for download
  9. Cover: Robust Argumentation Machines - Springer
    Philipp Cimiano | Anette Frank | Michael Kohlhase
    Robust Argumentation Machines
    First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings
    07/2024
    Springer
    9783031635359 (ISBN)
    Book
    Paperback/Softback
    €139.09
    Shipment within 15-20 days
  10. Cover: Intelligent Computer Mathematics - Springer
    Michael Kohlhase | Moa Johansson | Bruce Miller
    Intelligent Computer Mathematics
    9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
    07/2016
    Springer
    9783319425467 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €44.94
    Shipment within 10-15 days
  11. Cover: Artificial Intelligence. ECAI 2023 International Workshops - Springer
    Slawomir Nowaczyk | Przemyslaw Biecek | Neo Christopher Chung
    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
    01/2024
    Springer
    9783031503955 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €117.69
    Shipment within 15-20 days
  12. Cover: Artificial Intelligence. ECAI 2023 International Workshops - Springer
    Slawomir Nowaczyk | Przemyslaw Biecek | Neo Christopher Chung
    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
    01/2024
    Springer
    9783031504846 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €128.39
    Shipment within 15-20 days
  13. Cover: KI 2006 - Springer
    Christian Freksa | Michael Kohlhase | Kerstin Schill
    KI 2006
    29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings
    01/2007
    Springer
    9783540699118 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  14. Cover: OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] - Springer
    Michael Kohlhase
    OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
    Foreword by Alan Bundy
    08/2006
    Springer
    9783540378976 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  15. Cover: Symbolic Computation and Automated Reasoning - A K Peters
    Manfred Kerber | Michael Kohlhase
    Symbolic Computation and Automated Reasoning
    The CALCULEMUS-2000 Symposium
    04/2001
    1st EDN1st Edition
    A K Peters
    9781568811451 (ISBN)
    Book
    Hardback
    Other editions
    €133.69
    Shipment within 3-4 weeks