Michael Kohlhase
Michael Kohlhase
4 ספרים במאגר
ספרים
Intelligent Computer MathematicsMichael Kohlhase
Intelligent Computer Mathematics
Michael Kohlhase · 2020
Mathematical Knowledge ManagementMichael Kohlhase
Mathematical Knowledge Management
Michael Kohlhase · 2006
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]Michael Kohlhase
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
Michael Kohlhase · 2006
Symbolic Computation and Automated ReasoningMichael Kohlhase
Symbolic Computation and Automated Reasoning
Michael Kohlhase · 2001
ספרים משותפים ואוספים
ספרים שבהם Michael Kohlhase מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.