网络释义专业释义
theorem proving 外的定理证实 ; 理验证 ; 定理验证
automated theorem proving 自动定理证明 ; 证明 ; 定理机器证明 ; 证实
Automatic Theorem Proving [计] 自动定理证明
mechanical theorem proving [计] 机器定理证明 ; 机器证明
theorem proving machine 定理证明机
theorem proving system 定理证明系统
theorem proving method 定理证明法
resolution theorem proving 归结定理证明消解式定理证明
theorem proving by resolution 按分解律的定理证明
双语例句原声例句
-
There are mathematical theorem-proving programs.
有些程序可以证明数学定理。
-
Additionally, the well-known four colour problem and elementary geometry theorem-proving problem have been discussed.
同时，也对四色问题与初等几何定理证明作了简单的讨论。
-
Demonstrates that a small amount of code verified with automated theorem proving can support an arbitrary large amount of TAL code.
它演示了少量带有自动化定理证明功能，经过验证的代码它能够支持任意数量的TAL代码。
-
There are mathematical theorem-proving programs.
有些程序可以证明数学定理
应用推荐