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 749 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,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

Häftad, Engelska, 2024

1 589 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,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

Häftad, Engelska, 2024

1 729 kr

Skickas inom 10-15 vardagar

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 Frank,Michael Kohlhase,Benno Stein

Häftad, Engelska, 2024

1 819 kr

Skickas inom 10-15 vardagar

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 Johansson,Bruce Miller,Leonardo de Moura,Frank Tompa

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

AvMichael 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

AvMichael Kohlhase

Häftad, Engelska, 2006

949 kr

Skickas inom 5-8 vardagar

KI 2006

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

AvChristian Freksa,Michael Kohlhase,Kerstin Schill

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar