Symbolic Computation and Automated Reasoning Manfred Kerber & Michael Kohlhase: другие книги

Intelligent Computer Mathematics

2023

Intelligent Computer Mathematics

2015

Towards Mechanized Mathematical Assistants

2007