OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]

Ediciones (2)

• OMDoc -- an Open Markup Format for Mathematical Documents [version 1. 2] (2006)

  Springer London, Limited · inglés · ISBN 9783540378983

• OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] (2006)

  Springer · inglés · ISBN 9783540378976

Más obras de Michael Kohlhase

Intelligent Computer Mathematics

KKi 2006

Ki 2006

DDigitalisierung Von Zivilprozess und Rechtsdurchsetzung

Digitalisierung Von Zivilprozess und Rechtsdurchsetzung

RRobust Argumentation Machines

Robust Argumentation Machines

Mathematical Knowledge Management

Symbolic Computation and Automated Reasoning

Ver todas las obras de Michael Kohlhase →