Changes to the Specification

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

10.1007/11826095_32 ◽

2006 ◽

pp. 319-331

Author(s):

Michael Kohlhase

Download Full-text