英语词汇theorem-proving怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词	theorem-proving
释义	theorem-proving 简明释义定理证明网络释义 1 [数]?定理证明 theorem-proving(定理证明), 此释义来源于网络辞典。短语 1 theorem proving 外的定理证实 ; 理验证 ; 定理验证 2 automated theorem proving 自动定理证明 ; 证明 ; 定理机器证明 ; 证实 3 Automatic Theorem Proving 计自动定理证明双语例句 1 There are mathematical theorem-proving programs. 有些程序可以证明数学定理。 2 Additionally, the well-known four colour problem and elementary geometry theorem-proving problem have been discussed. 同时，也对四色问题与初等几何定理证明作了简单的讨论。 3 Demonstrates that a small amount of code verified with automated theorem proving can support an arbitrary large amount of TAL code. 它演示了少量带有自动化定理证明功能，经过验证的代码它能够支持任意数量的TAL代码。
随便看	data entry console data entry control data entry database data entry device data entry display Data Entry Electronics Unit data entry error data entry facility data-entry form data-entry-form data entry format data entry function data entry key data entry keyboard data entry mode data entry operator data entry order number data entry page data entry panel data entry program data entry screen data entry segments data entry station cluster data entry subsystem data entry summary record

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。