01622nlm0 22004571i 450 9900092502304033219783540378983000925023FED01000925023(Aleph)000925023FED0100092502320100926d2006----km-y0itay50------baengDEdrnn-008mamaaOMDoc – An Open Markup Format for Mathematical Documents [version 1.2]Risorsa elettronicaForeword by Allan Bundyby Michael KohlhaseBerlin ; HeidelbergSpringer2006Lecture notes in computer scienceLecture notes in artificial intelligence0302-97434180Documento elettronicoTestoFormato html, pdfKohlhase,Michael508819ITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11826095EB990009250230403321AlgebraData processingArtificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceInformation Storage and RetrievalInformation storage and retrieval systemsLibrary scienceLibrary ScienceMathematical Logic and Formal LanguagesMathematicsMathematics, generalSymbolic and Algebraic ManipulationOMDoc – An Open Markup Format for Mathematical Documents772170UNINA