字典網>> 漢英字典>> D開頭詞條>>定理證明的英文翻譯

定理證明

拼音：dìng lǐ zhèng míng

英文解釋：

【計】 theorem proving; theoremproving

相關詞條：

1.theorem-proving  

例句：

  1. 基於定理證明器HOL的硬體驗證研究
    The Study of Hardware Verification in Theorem Prover HOL
  2. 在自動定理證明中,海爾勃朗基的成員也稱為原子。
    A member of the Herbrand base is called atom in automatic theorem proving.
  3. 對廣義巴特利特定理證明的見解
    Views on the Demonstration of the General Bartlett Theorem
  4. 定理證明輔助工具PVS剖析
    Analysis of Theorem-proving Aiding Tool──PVS
  5. 在自動定理證明中,海爾勃朗基的成員也稱為原子。
    A member of the Herbrand base is called atom in automatic theorem proving
  6. 關於Farkas定理證明中的一點註記
    A NOT ABOUT THE PROOF OF FARKAS THEOREM
  7. 命題時態邏輯定理證明新方法
    A NEW METHOD FOR THEOREM PROVING OF PTL

相關詞語