Auxiliary Elements (Module EXT)

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

10.1007/11826095_23 ◽

2006 ◽

pp. 201-208

Author(s):

Michael Kohlhase

Download Full-text