Symbolic Computation and Automated Reasoning Más libros de Manfred Kerber & Michael Kohlhase

Intelligent Computer Mathematics

2023

Intelligent Computer Mathematics

2015

Towards Mechanized Mathematical Assistants

2007