Kohlhase, Michael.
OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy / [electronic resource] : by Michael Kohlhase. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4180 0302-9743 ; . - Lecture Notes in Computer Science, 4180 .
9783540378983
10.1007/11826095 doi
Computer science.
Algebra--Data processing.
Information storage and retrieval systems.
Artificial intelligence.
Mathematics.
Library science.
Computer Science.
Artificial Intelligence (incl. Robotics).
Information Storage and Retrieval.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
Mathematics, general.
Library Science.
Q334-342 TJ210.2-211.495
006.3
OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy / [electronic resource] : by Michael Kohlhase. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4180 0302-9743 ; . - Lecture Notes in Computer Science, 4180 .
9783540378983
10.1007/11826095 doi
Computer science.
Algebra--Data processing.
Information storage and retrieval systems.
Artificial intelligence.
Mathematics.
Library science.
Computer Science.
Artificial Intelligence (incl. Robotics).
Information Storage and Retrieval.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
Mathematics, general.
Library Science.
Q334-342 TJ210.2-211.495
006.3