Michael Kohlhase's publications
| Kohlhase, 2001Kohlhase, M. (2001). {OMDoc:} Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge. Lecture Notes in Computer Science (Vol. 1930). Springer. | Kohlhase, M. (2001). {OMDoc:} Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge. Lecture Notes in Computer Science (Vol. 1930). Springer. |
