网络释义专业释义
automated theorem proving 自动定理证明 ; 定理机器证明
Automatic Theorem Proving [计] 自动定理证明
mechanical theorem proving [计] 机器定理证明 ; 机器证明
theorem proving machine 定理证明机
theorem-proving [数] 定理证明
theorem proving system 定理证明系统
theorem proving method 定理证明法
resolution theorem proving 归结定理证明消解式定理证明
theorem proving by resolution 按分解律的定理证明
-
定理证明 - 引用次数：49
TP(Theorem Proving) has always been one of the most central concerns of AI.
自动定理证明一直是人工智能领域中最重要的问题之一。
参考来源 - 一种新的基于扩展规则的知识编译方法 -
定理证明 - 引用次数：10
In the end we discuss another technique-the Theorem Proving method.
文章最后对形式验证的另一种技术——定理证明方法进行了相应的探讨。
参考来源 - 形式验证技术的应用研究
·2,447,543篇论文数据，部分数据来源于NoteExpress
双语例句原声例句
-
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和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。
-
There has been a lot of success in the study of automated theorem proving during the past 50 years.
定理机器证明的研究已有将近50年的历史，并已经在数理逻辑、初等代数和几何学等学科取得显著成功。
-
Antecedent derivation is an extension of theorem proving.
前件推导是定理证明的一种扩展。
-
There are mathematical theorem-proving programs.
有些程序可以证明数学定理
应用推荐