%0 Book %1 Kohlhase:OMDoc1.2 %A Kohlhase, Michael %B OMDoc -- An open markup format for mathematical documents Version 1.2 %D 2006 %I Springer Verlag %K imported %N 4180 %T OMDoc -- An open markup format for mathematical documents Version 1.2 %U http://omdoc.org/pubs/omdoc1.2.pdf

@book{Kohlhase:OMDoc1.2, added-at = {2017-01-27T23:28:47.000+0100}, author = {Kohlhase, Michael}, bdsk-url-1 = {http://omdoc.org/pubs/omdoc1.2.pdf}, biburl = {https://www.bibsonomy.org/bibtex/21aa3858b57ff0c94f09ea8d4143b160d/soeren}, booktitle = {\textsc{OMDoc} -- An open markup format for mathematical documents [Version 1.2]}, interhash = {1395cf10cc772091a064cc99f33f331f}, intrahash = {1aa3858b57ff0c94f09ea8d4143b160d}, keywords = {imported}, month = aug, number = 4180, publisher = {Springer Verlag}, pubs = {mkohlhase,projects/omdocbiblio}, series = {Lecture Notes in Artificial Intelligence}, timestamp = {2017-01-27T23:30:12.000+0100}, title = {\textsc{OMDoc} -- An open markup format for mathematical documents [Version 1.2]}, url = {http://omdoc.org/pubs/omdoc1.2.pdf}, year = 2006 }