theorem proven

　
英 美
  • 定理證明

theorem proven的用法和樣例：

例句

  1. Completely automated theorem provers, such as model checkers, operate on an abstraction of the problem.
    象模型檢查程序這種完全自動化的定理證明程序是在問題的一個抽象上操作。
  2. Sometimes the abstraction itself may be so large that the theorem prover may take an inordinate amount of time and resources to complete the proof.
    有時抽象本身可能是很大的工作量，以致定理證明程序可能花費過多時間和資源來完成證明。

theorem proven的相關資料：

臨近單詞

theorem theorem of nested interval theorem on contracting maps theorem of nested intervals theorem of integration mean theorem of angular momentum Theorem of Inverse Reflector theorem of riemann roch type theorem of angualar momentum theorem of intermediate value theorem of implicit functions
以上內容獨家創作，受著作權保護，侵權必究

今日熱詞
相關詞典網站：

牛津高階第八版

美國韋氏詞典

Dictionary.com

Free Dictionary

維基百科 (自由的百科全書)

目錄 附錄 查詞歷史