Symbolic Computation and Automated Reasoning 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년