Michael Kohlhase

Robust Argumentation Machines

Robust Argumentation Machines

2024

Digitalisierung Von Zivilproze

Digitalisierung Von Zivilprozess und Rechtsdurchsetzung

2022

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

2006

Symbolic Computation and Automated Reasoning

2001