Non abbiamo ancora una biografia di Michael Kohlhase.
Pubblicato in Inglese · Tedesco
Per saperne di più: Open Library (si apre in una nuova scheda)
Symbolic Computation and Automated Reasoning
2001
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
2006
Mathematical Knowledge Management
Intelligent Computer Mathematics
2020
Robust Argumentation Machines
2024
Ki 2006
2007
Digitalisierung Von Zivilprozess und Rechtsdurchsetzung
2022
Otium
![Copertina di OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]](/api/covers?coverUrl=https%3A%2F%2Fsearch.otiumbookshelf.com%2Fcover%2Fb%2Fid%2F2222058-L.jpg&isbn=9783540378976&title=OMDoc+--+An+Open+Markup+Format+for+Mathematical+Documents+%5Bversion+1.2%5D&author=Michael+Kohlhase&v=6)
