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

维基百科 (自由的百科全书)

目录 附录 查词历史