theorem proving（意思翻译）

定理证明

theorem proving（相似词语短语）

1、incompleteness theorem───不完全性定理

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

3、probable theorem───或然定理

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

5、bisector theorem───平分定理

6、angles theorem───角度定理

7、cosas theorem───Theorem事物

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

9、proving to───给…证明

theorem proving（双语使用场景）

1、Antecedent derivation is an extension of theorem proving.───前件推导是定理证明的一种扩展。

2、The research in mechanical theorem proving has great significance in the theory and the practice.───定理机器证明的研究，在理论和实践上都具有重要的意义。

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

4、Property verification is carried out using theorem proving systems.───特性验证使用定理求证XiTong来实现。

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

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

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

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

theorem proving（相关推荐）