Symbolic Computation and Automated Reasoning More Books by Manfred Kerber & Michael Kohlhase

Intelligent Computer Mathematics Intelligent Computer Mathematics
2023
Intelligent Computer Mathematics Intelligent Computer Mathematics
2015
Towards Mechanized Mathematical Assistants Towards Mechanized Mathematical Assistants
2007