Communiqués par Michael Kohlhase

Cover for Michael Kohlhase · Omdoc - an Open Markup Format for Mathematical Documents (Version 1.2) - Lecture Notes in Computer Science (Paperback Book) (2006)
Paperback Book
2006 edition
Omdoc - an Open Markup Format fo...
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)
Paperback Book
Mathematical Knowledge Managemen...
Michael Kohlhase