网络释义专业释义
...阐发2)和一些 bug 标准样式举行比力,终极标示需要别人解答的题目地区范围,输出阐发成果3)施用了分外的定理证实(theorem proving)技能来判断1个潜在的纰缪是不是是真正的纰缪,从而减缓了步伐员判断纰缪真伪所需的事情量9.
基于12个网页-相关网页
...括： 说明（specification） 验证（verification） • 形式验证包括： 模型检验（model checking） 推理验证（theorem proving） 模型检验 • 模型检验是一种自动验证有穷状态系统 的技术。
基于8个网页-相关网页
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.
有些程序可以证明数学定理
应用推荐