Intelligent Computer MathematicsMichael Kohlhase
Intelligent Computer Mathematics
Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura · 2020
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
- 2020
- Language
- English
- Publisher
- Springer International Publishing AG
- Editions
- 3
- ISBN
- 9783030535179
Data source: Wikidata
More by Michael Kohlhase
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