网络释义专业释义
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.
同时，也对四色问题与初等几何定理证明作了简单的讨论。
-
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 are mathematical theorem-proving programs.
有些程序可以证明数学定理
应用推荐