Books by Michael Kohlhase

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

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

by Michael Kohlhase

2006
Cover of Symbolic Computation and Automated Reasoning

Symbolic Computation and Automated Reasoning

by Michael Kohlhase

2001
Cover of Intelligent Computer Mathematics

Intelligent Computer Mathematics

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

2016
Cover of Mathematical Knowledge Management

Mathematical Knowledge Management

by Michael Kohlhase

2006
Cover of Ki 2006

Ki 2006

by Christian Freksa, Michael Kohlhase, Kerstin Schill

2007

Can't find the book you're looking for? Let us know — it helps us improve.