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.───然而在理論層面和動態語言實際應用之間還是存在一些差距的。

英語使用場景