-
The research in mechanical theorem proving has great significance in the theory and the practice.
定理机器证明的研究,在理论和实践上都具有重要的意义。
youdao
-
The research in mechanical theorem proving has great significance in the theory and the practice.
定理机器证明的研究,在理论和实践上都具有重要的意义。
youdao