Intelligent Computer Mathematics More Books by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe & Volker Sorge

Symbolic Computation and Automated Reasoning Symbolic Computation and Automated Reasoning
Symbolic Computation and Automated Reasoning
2001
Intelligent Computer Mathematics Intelligent Computer Mathematics
Intelligent Computer Mathematics
2023
Towards Mechanized Mathematical Assistants Towards Mechanized Mathematical Assistants
Towards Mechanized Mathematical Assistants
2007