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

AvManfred Kerber,Michael Kohlhase

Inbunden, Engelska, 2001

1 729 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

AvSławomir Nowaczyk,Przemysław Biecek m. fl.

Häftad, Engelska, 2024

1 559 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

AvSławomir Nowaczyk,Przemysław Biecek m. fl.

Häftad, Engelska, 2024

1 699 kr

Skickas inom 10-15 vardagar

Robust Argumentation Machines

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

AvPhilipp 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

AvMichael Kohlhase,Moa Johansson m. fl.

Häftad, Engelska, 2016

599 kr

Skickas inom 10-15 vardagar

Mathematical Knowledge Management

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

AvMichael Kohlhase

Häftad, Engelska, 2006

719 kr

Skickas inom 10-15 vardagar

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

Foreword by Alan Bundy

AvMichael Kohlhase

Häftad, Engelska, 2006

709 kr

Skickas inom 10-15 vardagar

KI 2006

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

AvChristian Freksa,Michael Kohlhase m. fl.

Häftad, Engelska, 2007

699 kr

Skickas inom 10-15 vardagar