Manfred Kerber

도서
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년
Intelligent Computer Mathematics Intelligent Computer Mathematics
Intelligent Computer Mathematics
2015년
Towards Mechanized Mathematical Assistants Towards Mechanized Mathematical Assistants
Towards Mechanized Mathematical Assistants
2007년