Hoppa till sidans huvudinnehåll

Michael Kohlhase - Böcker

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

Symbolic Computation and Automated Reasoning

The CALCULEMUS-2000 Symposium

Av Manfred Kerber, Michael Kohlhase

Inbunden, Engelska, 2001

1 669 kr

Skickas inom 10-15 vardagar

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, Engelska, 2024

1 779 kr

Skickas inom 10-15 vardagar

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, Engelska, 2024

1 629 kr

Skickas inom 10-15 vardagar

Robust Argumentation Machines

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

Av Philipp Cimiano, Anette Frank m. fl

Häftad, Engelska, 2024

2 089 kr

Skickas inom 10-15 vardagar

Intelligent Computer Mathematics

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

Av Michael Kohlhase, Moa Johansson m. fl

Häftad, Engelska, 2016

609 kr

Skickas inom 10-15 vardagar

Mathematical Knowledge Management

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

Av Michael Kohlhase

Häftad, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar

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

Foreword by Alan Bundy

Av Michael Kohlhase

Häftad, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2007

709 kr

Skickas inom 10-15 vardagar