OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Alan Bundy /
Kohlhase, Michael.
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Alan Bundy / [electronic resource] : by Michael Kohlhase. - Berlin Heidelberg : Springer-Verlag GmbH., 2006 - xix, 428 p. : ill., digital ; 24 cm. - Lecture Notes in Computer Science, 4180 0302-9743 ; .
9783540378983 (electronic bk.) 9783540378976 (paper)
Mathematics--Data processing.
Information storage and retrieval systems--Mathematics.
OMDoc (Document markup language)
QA76.95 / .K65 2006
510.285536
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Alan Bundy / [electronic resource] : by Michael Kohlhase. - Berlin Heidelberg : Springer-Verlag GmbH., 2006 - xix, 428 p. : ill., digital ; 24 cm. - Lecture Notes in Computer Science, 4180 0302-9743 ; .
9783540378983 (electronic bk.) 9783540378976 (paper)
Mathematics--Data processing.
Information storage and retrieval systems--Mathematics.
OMDoc (Document markup language)
QA76.95 / .K65 2006
510.285536
