Michael Kohlhase – författare

Visar alla böcker från författaren Michael Kohlhase.

8 produkter

1. 

   Symbolic Computation and Automated Reasoning

   The CALCULEMUS-2000 Symposium

   Av Manfred Kerber, Michael Kohlhase

   Inbunden, 2001

   2569 kr

   Lägg i varukorg

2. 

   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

   Av Sławomir Nowaczyk, Przemysław Biecek m. fl.

   Häftad, 2024

   1619 kr

   Lägg i varukorg

3. 

   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

   Av Sławomir Nowaczyk, Przemysław Biecek m. fl.

   Häftad, 2024

   1759 kr

   Lägg i varukorg

4. 

   Robust Argumentation Machines

   First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings

   Av Philipp Cimiano, Anette Frank m. fl.

   Häftad, 2024

   1849 kr

   Lägg i varukorg

5. 

   Intelligent Computer Mathematics

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

   Av Michael Kohlhase, Moa Johansson m. fl.

   Häftad, 2016

   619 kr

   Lägg i varukorg

6. 

   Mathematical Knowledge Management

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

   Av Michael Kohlhase

   Häftad, 2006

   739 kr

   Lägg i varukorg

7. 

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

   Foreword by Alan Bundy

   Av Michael Kohlhase

   Häftad, 2006

   739 kr

   Lägg i varukorg

8. 

   KI 2006

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

   Av Christian Freksa, Michael Kohlhase m. fl.

   Häftad, 2007

   739 kr

   Lägg i varukorg