Releases by Michael Kohlhase

In stock at iMusic Show unavailable items

Cover for Michael Kohlhase · Omdoc - an Open Markup Format for Mathematical Documents (Version 1.2) - Lecture Notes in Computer Science (Paperback Book) (2006)

Omdoc - an Open Markup Format fo... (2006)

Michael Kohlhase

Cover for Michael Kohlhase · Mathematical Knowledge Management: 4th International Conference, Mkm 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers (Revised Selected Papers) - Lecture Notes in Computer Science (Paperback Book) (2006)

Mathematical Knowledge Managemen... (2006)

Michael Kohlhase