Michael Kohlhase · 7 obras en el catálogoObrasIntelligent Computer MathematicsKKi 2006Ki 2006DDigitalisierung Von Zivilprozess und RechtsdurchsetzungDigitalisierung Von Zivilprozess und RechtsdurchsetzungRRobust Argumentation MachinesRobust Argumentation MachinesMathematical Knowledge ManagementOMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]Symbolic Computation and Automated Reasoning
DDigitalisierung Von Zivilprozess und RechtsdurchsetzungDigitalisierung Von Zivilprozess und Rechtsdurchsetzung
![Tapa de OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]](/_next/image?url=https%3A%2F%2Fcovers.openlibrary.org%2Fb%2Fid%2F2222058-M.jpg&w=3840&q=75)
