Kohlhase, Michael,  1964-, <br/><br/>
OMDoc -- an open markup format for mathematical documents :  (version 1.2) / 
Michael Kohlhase ; foreword by Alan Bundy 
 - xix, 428 páginas :  ilustraciones 
 - Lecture notes in computer science ;  4180 .
 - Lecture notes in computer science .
<br/><br/><label>ISBN: </label>3540378979 (rústica) 978-3-540-37897-6 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Matemáticas--Procesamiento de datos<br/>Sistemas de almacenamiento y recuperación de información--Matemáticas
<br/><br/><label>LC Class. No.: </label>QA76.95  / K66 2006