Hoppa till sidans huvudinnehåll

Michael Kohlhase – författare

Visar alla böcker från författaren .
8 produkter
Manfred Kerber, Michael Kohlhase - Symbolic Computation and Automated Reasoning, Inbunden

Symbolic Computation and Automated Reasoning

The CALCULEMUS-2000 Symposium

AvManfred Kerber,Michael Kohlhase

Inbunden, Engelska, 2001

2 399 kr

Skickas inom 3-6 vardagar

Sławomir Nowaczyk, Przemysław Biecek, Neo Christopher Chung, Mauro Vallati, Paweł Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomáš Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova - Artificial Intelligence. ECAI 2023 International Workshops, Häftad
Del 1947 - Communications in Computer and Information Science

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 Biecekm. fl.

Häftad, Engelska, 2024

1 599 kr

Skickas inom 10-15 vardagar

Sławomir Nowaczyk, Przemysław Biecek, Neo Christopher Chung, Mauro Vallati, Paweł Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomáš Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova - Artificial Intelligence. ECAI 2023 International Workshops, Häftad
Del 1948 - Communications in Computer and Information Science

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 Biecekm. fl.

Häftad, Engelska, 2024

1 739 kr

Skickas inom 10-15 vardagar

Philipp Cimiano, Anette Frank, Michael Kohlhase, Benno Stein - Robust Argumentation Machines, Häftad
Del 14638 - Lecture Notes in Computer Science

Robust Argumentation Machines

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

AvPhilipp Cimiano,Anette Frankm. fl.

Häftad, Engelska, 2024

1 829 kr

Skickas inom 10-15 vardagar

Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa - Intelligent Computer Mathematics, Häftad
Del 9791 - Lecture Notes in Computer Science

Intelligent Computer Mathematics

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

AvMichael Kohlhase,Moa Johanssonm. fl.

Häftad, Engelska, 2016

619 kr

Skickas inom 10-15 vardagar

Michael Kohlhase - Mathematical Knowledge Management, Häftad

Mathematical Knowledge Management

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

AvMichael Kohlhase

Häftad, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar

Michael Kohlhase - OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2], Häftad

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

Foreword by Alan Bundy

AvMichael Kohlhase

Häftad, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar

Christian Freksa, Michael Kohlhase, Kerstin Schill - KI 2006, Häftad

KI 2006

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

AvChristian Freksa,Michael Kohlhasem. fl.

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar