Symbolic Computation and Automated Reasoning Manfred Kerber & Michael Kohlhase의 도서 더 보기

Intelligent Computer Mathematics

2023년

Intelligent Computer Mathematics

2015년

Towards Mechanized Mathematical Assistants

2007년