网络释义专业释义
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
双语例句原声例句
-
Antecedent derivation is an extension of theorem proving.
前件推导是定理证明的一种扩展。
-
Property verification is carried out using theorem proving systems.
特性验证使用定理求证系统来实现。
-
The research in mechanical theorem proving has great significance in the theory and the practice.
定理机器证明的研究，在理论和实践上都具有重要的意义。
-
There are mathematical theorem-proving programs.
有些程序可以证明数学定理
应用推荐