Kohlhase, Michael. <br/><br/>
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 ; .
<br/><br/><label>ISBN: </label>9783540378983 (electronic bk.) 9783540378976 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics--Data processing.<br/>Information storage and retrieval systems--Mathematics.<br/>OMDoc (Document markup language)
<br/><br/><label>LC Class. No.: </label>QA76.95  / .K65 2006 
<br/><br/><label>Dewey Class. No.: </label>510.285536