Mathematical Knowledge ManagementMichael Kohlhase
Mathematical Knowledge Management
Michael Kohlhase · 2006
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2006
- Language
- English
- Publisher
- Springer
- Editions
- 3
- Pages
- 405
- ISBN
- 9783540314301
Data source: Wikidata
More by Michael Kohlhase
Intelligent Computer MathematicsMichael Kohlhase
Intelligent Computer Mathematics
Michael Kohlhase · 2020
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