TY - DATA AU - Kohlhase,Michael ED - SpringerLink (Online service) TI - OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Allan Bundy SN - 9783540378983 AV - QA76.95 K64 2006 PY - 2006/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer science KW - Algebra KW - Data processing KW - Information storage and retrieval systems KW - Artificial intelligence KW - Mathematics KW - Library science KW - Computer Science KW - Artificial Intelligence (incl. Robotics) KW - Information Storage and Retrieval KW - Mathematical Logic and Formal Languages KW - Symbolic and Algebraic Manipulation KW - Mathematics, general KW - Library Science UR - http://dx.doi.org/10.1007/11826095 ER -