theorem-proving翻譯，theorem-proving的意思，theorem-proving同義詞，theorem-proving的反義詞，theorem-proving短語詞匯

詞語：theorem-proving

theorem-proving的意思

non-resolution theorem proving 釋義：非解析定理求解;

theorem-proving的參考例句

1.In the end we discuss another technique-the Theorem Proving method. 文章最後對形式驗證的另一種技術——定理證明方法進行了相應的探討。

2.Static analysis topics include abstract interpretation (dataflow), type systems, model checking, decision procedures (SAT, BDDs), theorem-proving. 靜態分析課題包括抽像譯碼（數據流）、模式系統、模型檢查、決策程序（？）和命題證明。

3.The subsidiary conditions (or called non-degeneracy conditions) are not one and only that a theorem holds in differential geometry theorem proving. 在微分幾何定理證明中，一個定理成立的輔助條件（非退化條件）不是惟一的，但越簡單越好。