Robust Argumentation MachinesPhilipp Cimiano, Anette Frank, Michael Kohlhase, Benno Stein · First published 2024Open the Tome
Digitalisierung Von Zivilprozess und RechtsdurchsetzungMartin Zwickel, Axel Adrian, Stephanie Evert, Michael Kohlhase · First published 2022Open the Tome
Intelligent Computer MathematicsMichael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa · First published 2016Open the Tome
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]Michael Kohlhase · First published 2006Open the Tome
![Cover of OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]](https://covers.openlibrary.org/b/isbn/9783540378976-M.jpg?default=false)
