专业释义
-
定理证明 - 引用次数：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.
有些程序可以证明数学定理
应用推荐