語系
Kohlhase, Michael.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]Foreword by Alan Bundy /
by:
Kohlhase, Michael.; SpringerLink (Online service)
(書目-電子資源)
Intelligent computer mathematics9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings /
by:
(1998 :); Kohlhase, Michael.; SpringerLink (Online service)
(書目-電子資源)
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)
(書目-電子資源)
主題
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.