01701cam a2200445 i 4500991002027709707536cr mnu---|||||061219s2006 de a 001 0 eng d35403789799783540378976b13464802-39ule_instDip.to MatematicaengCR I.2CR F.4CR F.3.1CR G.4CR H.3CR I.1CR I.7AMS 68PLC QA76.95.K64Kohlhase, Michael508819OMDoc -- an open markup format for mathematical documents :(version 1.2) /Michael Kohlhase ; foreword by Alan BundyOMDocBerlin :Springer,c2006xix, 428 p. :ill. ;24 cmLecture notes in computer science,0302-9743 ;4180.Lecture notes in artificial intelligence. AI systemsAlso issued onlineIncludes bibliographical references and indexMathematicsData processingInformation storage and retrieval systemsMathematicsOMDoc (Document markup language)Lecture notes in computer science ;4180.Lecture notes in computer science.Lecture notes in artificial intelligence.AI systems.b1346480228-01-1419-12-06991002027709707536LE013 68P KOH11 (2006)12013000204864le013pE60.32-l- 00000.i1437425020-02-07OMDoc – An Open Markup Format for Mathematical Documents772170UNISALENTOle01319-12-06ma -engde 00