Manfred Kerber

الكتب
Symbolic Computation and Automated Reasoning Symbolic Computation and Automated Reasoning
Symbolic Computation and Automated Reasoning
٢٠٠١
Intelligent Computer Mathematics Intelligent Computer Mathematics
Intelligent Computer Mathematics
٢٠٢٣
Intelligent Computer Mathematics Intelligent Computer Mathematics
Intelligent Computer Mathematics
٢٠١٥
Towards Mechanized Mathematical Assistants Towards Mechanized Mathematical Assistants
Towards Mechanized Mathematical Assistants
٢٠٠٧