OMDoc -- an open markup format for mathematical documents :
Kohlhase, Michael, 1964-,
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 .
3540378979 (rústica) 978-3-540-37897-6
Matemáticas--Procesamiento de datos
Sistemas de almacenamiento y recuperación de información--Matemáticas
QA76.95 / K66 2006
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 .
3540378979 (rústica) 978-3-540-37897-6
Matemáticas--Procesamiento de datos
Sistemas de almacenamiento y recuperación de información--Matemáticas
QA76.95 / K66 2006