OMDoc Resources

OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] - Lecture Notes in Computer Science ◽

10.1007/11826095_27 ◽

2006 ◽

pp. 223-225

Author(s):

Michael Kohlhase

Download Full-text