Mechanization of mathematics, therefore, is of great significance to the mechanization of the mental wok in general.

因此，数学机械化对于整个脑力劳动的机械化来说也具有特殊的甚至是关键的意义。

youdao

Mechanization of mathematics, therefore, is of great significance to the mechanization of the mental wok in general.

因此，数学机械化对于整个脑力劳动的机械化来说也具有特殊的甚至是关键的意义。

youdao