Manfred Kerber

Sách
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