• 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

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定