• 定理机器证明研究已有将近50历史,并已经在数理逻辑、初等代数和几何学等学科取得显著成功

    There has been a lot of success in the study of automated theorem proving during the past 50 years.

    youdao

  • 定理机器证明研究已有将近50历史,并已经在数理逻辑、初等代数和几何学等学科取得显著成功

    There has been a lot of success in the study of automated theorem proving during the past 50 years.

    youdao

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

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

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