单词
文章
取名
英语词组短语
theorem-proving
英美
定理证明
theorem-proving网络翻译
[数]
定理证明
theorem-proving(定理证明), 此释义来源于网络辞典。
theorem-proving常用短语
1. mechanical theorem proving：[计] 机器定理证明 ; 机器证明
2. theorem proving machine：定理证明机
3. theorem proving system：定理证明系统
4. theorem proving method：定理证明法
5. resolution theorem proving：归结定理证明消解式定理证明
6. theorem proving by resolution：按分解律的定理证明
theorem-proving双语例句
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代码。