Michael Kohlhase
Michael Kohlhase
4 books in the database
Books
Intelligent Computer MathematicsMichael Kohlhase
Intelligent Computer Mathematics
Michael Kohlhase · 2020
Mathematical Knowledge ManagementMichael Kohlhase
Mathematical Knowledge Management
Michael Kohlhase · 2006
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]Michael Kohlhase
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
Michael Kohlhase · 2006
Symbolic Computation and Automated ReasoningMichael Kohlhase
Symbolic Computation and Automated Reasoning
Michael Kohlhase · 2001
Co-authored books and collections
Books that list Michael Kohlhase among their authors but not as the lead author: co-written works, collections and compilations.