Intelligent Computer Mathematics
Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa
₹3,331
Author
Books by Michael Kohlhase
Showing 1–2 of 2 books
![Cover of OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]](/cover/360/9783540378976.webp)
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
Michael Kohlhase
₹3,507