Skip to main content

6 Result(s)

within Book Remove this filter Michael Kohlhase Remove this filter

and

  1. No Access

    Book and Conference Proceedings

    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

    Sławomir Nowaczyk, Przemysław Biecek… in Communications in Computer and Information Science (2024)

  2. No Access

    Book and Conference Proceedings

    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

    Sławomir Nowaczyk, Przemysław Biecek… in Communications in Computer and Information Science (2024)

  3. No Access

    Book and Conference Proceedings

    Intelligent Computer Mathematics

    9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

    Michael Kohlhase, Moa Johansson… in Lecture Notes in Computer Science (2016)

  4. No Access

    Book and Conference Proceedings

    KI 2006: Advances in Artificial Intelligence

    29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings

    Christian Freksa, Michael Kohlhase… in Lecture Notes in Computer Science (2007)

  5. No Access

    Book

    OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]

    Foreword by Allan Bundy

    Michael Kohlhase in Lecture Notes in Computer Science (2006)

  6. No Access

    Book and Conference Proceedings

    Mathematical Knowledge Management

    4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers

    Michael Kohlhase in Lecture Notes in Computer Science (2006)