Michael Kohlhase - Böcker

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

Symbolic Computation and Automated Reasoning

Av Manfred Kerber, Michael Kohlhase

Inbunden, Engelska, 2001

1 629 kr

Skickas inom 7-10 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, Slawomir Nowaczyk, Przemyslaw Biecek, Pawel Skruch, Martin Atzmuller, Tomas Kliegr, S¿awomir Nowaczyk, Tomá¿ Kliegr, Roland van Dierendonck, Przemys¿aw Biecek, Pawe¿ Skruch - Artificial Intelligence. ECAI 2023 International Workshops, Häftad

Artificial Intelligence. ECAI 2023 International Workshops

Av 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, Slawomir Nowaczyk, Przemyslaw Biecek, Pawel Skruch, Martin Atzmuller, Tomas Kliegr, S¿awomir Nowaczyk, Tomá¿ Kliegr, Roland van Dierendonck, Przemys¿aw Biecek, Pawe¿ Skruch

Häftad, Engelska, 2024

1 849 kr

Skickas inom 7-10 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, Slawomir Nowaczyk, Przemyslaw Biecek, Pawel Skruch, Martin Atzmuller, Tomas Kliegr, S¿awomir Nowaczyk, Tomá¿ Kliegr, Roland van Dierendonck, Przemys¿aw Biecek, Pawe¿ Skruch - Artificial Intelligence. ECAI 2023 International Workshops, Häftad

Artificial Intelligence. ECAI 2023 International Workshops

Av 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, Slawomir Nowaczyk, Przemyslaw Biecek, Pawel Skruch, Martin Atzmuller, Tomas Kliegr, S¿awomir Nowaczyk, Tomá¿ Kliegr, Roland van Dierendonck, Przemys¿aw Biecek, Pawe¿ Skruch

Häftad, Engelska, 2024

1 699 kr

Skickas inom 7-10 vardagar
Philipp Cimiano, Anette Frank, Michael Kohlhase, Benno Stein - Robust Argumentation Machines, Häftad

Robust Argumentation Machines

Av Philipp Cimiano, Anette Frank, Michael Kohlhase, Benno Stein

Häftad, Engelska, 2024

1 869 kr

Skickas inom 7-10 vardagar
Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa - Intelligent Computer Mathematics, Häftad

Intelligent Computer Mathematics

Av Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa

Häftad, Engelska, 2016

619 kr

Skickas inom 7-10 vardagar
Michael Kohlhase - Mathematical Knowledge Management, Häftad

Mathematical Knowledge Management

Av Michael Kohlhase

Häftad, Engelska, 2006

739 kr

Skickas inom 7-10 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]

Av Michael Kohlhase

Häftad, Engelska, 2006

739 kr

Skickas inom 7-10 vardagar
Christian Freksa, Michael Kohlhase, Kerstin Schill - KI 2006, Häftad

KI 2006

Av Christian Freksa, Michael Kohlhase, Kerstin Schill

Häftad, Engelska, 2007

739 kr

Skickas inom 7-10 vardagar