Michael Kohlhase

No bio available. Add one in Open Library.

Books by Michael Kohlhase (50 max)

+ shelf+ list

Symbolic Computation and Automated Reasoning : The Calculemus-2000 Symposium

2001

Michael Kohlhase

+ shelf+ list

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science)

2006

Michael Kohlhase

+ shelf+ list

Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers (Lecture Notes in Computer Science)

2006

Michael Kohlhase

+ shelf+ list

Intelligent Computer Mathematics 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings

2016

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

+ shelf+ list

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

2007

Christian Freksa, Michael Kohlhase, Kerstin Schill

+ shelf+ list

Digitalisierung Von Zivilprozess und Rechtsdurchsetzung

2022

Martin Zwickel, Axel Adrian, Stephanie Evert, Michael Kohlhase

+ shelf+ list

Robust Argumentation Machines: First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings

2024

Philipp Cimiano, Anette Frank, Michael Kohlhase, Benno Stein