Intelligent Computer Mathematics
de Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa
Materias
Ediciones (2)
- Intelligent Computer Mathematics (2020)
Springer International Publishing AG · inglés · ISBN 9783030535179
- Intelligent Computer Mathematics (2016)
Springer · ISBN 9783319425467
![Tapa de OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]](/_next/image?url=https%3A%2F%2Fcovers.openlibrary.org%2Fb%2Fid%2F2222058-M.jpg&w=3840&q=75)
