Symbolic Computation and Automated Reasoning المزيد من كتب Manfred Kerber & Michael Kohlhase

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
٢٠٠٧