go top

automated proving of theorem

网络释义

  自动推证

自动推证

基于1个网页-相关网页

有道翻译

automated proving of theorem

定理的自动证明

以上为机器翻译结果,长、整句建议使用 人工翻译

双语例句

  • Demonstration of automated techniques, TAL and automated theorem proving, to verify the safety of the complex low-level code in the operating system and run-time.

    它演示自动化技术TAL自动化定理证明从而验证操作系统中和运行时复杂低级代码安全性

    youdao

  • Demonstrates that a small amount of code verified with automated theorem proving can support an arbitrary large amount of TAL code.

    它演示了少量带有自动化定理证明功能,经过验证代码能够支持任意数量TAL代码。

    youdao

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

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

    youdao

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

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

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