Languages
Kohlhase, Michael.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]Foreword by Alan Bundy /
by:
Kohlhase, Michael.; SpringerLink (Online service)
(Electronic resources)
Intelligent computer mathematics9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings /
by:
(1998 :); Kohlhase, Michael.; SpringerLink (Online service)
(Electronic resources)
Mathematical Knowledge Management (vol. # 3863)4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers /
by:
(1998 :); Kohlhase, Michael.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Artificial intelligence
Software Engineering.
Mathematics
Library Science.
Logics and Meanings of Programs.
Mathemcatics
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Database Management.
Information Storage and Retrieval.
Programming Languages, Compilers, Interpreters.
Information storage and retrieval systems
Information Systems Applications (incl.Internet)
Mathematics, general.
OMDoc (Document markup language)
Computer science
Computer Science.
Computer Communication Networks.
Simulation and Modeling.
Symbolic and Algebraic Manipulation.