theorem proving发音

意思翻译

定理证明

相似词语短语

proving───v.证明；校对；发酵（prove的现在分词）；n.证明；检查；校对

bisector theorem───平分定理

probable theorem───或然定理

proving ground───n.试验场，检验场

correspondence theorem───相似定理，对应定理

incompleteness theorem───不完全性定理

cosas theorem───Theorem事物

angles theorem───角度定理

proving to───给…证明

双语使用场景

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.───定理机器证明的研究，在理论和实践上都具有重要的意义。

A member of the Herbrand base is called atom in automatic theorem proving .───在自动定理证明中，海尔勃朗基的成员也称为原子。

First-order theorem proving is one of the most mature subfields of automated theorem proving.───一阶定理证明是最成熟的分支的自动定理证明。

Commercial use of automated theorem proving is mostly concentrated in integrated circuit design and verification.───商业使用的自动定理证明主要集中在集成电路设计和验证。

There are hybrid theorem proving systems which use model checking as an inference rule.───有混合定理证明系统，使用模型检查的推理规则。

There is however a much larger disconnect between the world of theorem proving and dynamic languages.───然而在理论层面和动态语言实际应用之间还是存在一些差距的。

英语使用场景