网站首页  词典首页

请输入您要查询的英文单词或汉字:

 

词汇 theorem proven
释义 theorem proven
基本例句
定理证明
Completely automated theorem provers, such as model checkers, operate on an abstraction of the problem.象模型检查程序这种完全自动化的定理证明程序是在问题的一个抽象上操作。
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.有时抽象本身可能是很大的工作量,以致定理证明程序可能花费过多时间和资源来完成证明。
随便看

 

英汉汉英双解词典包含9999994条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。

 

Copyright © 2000-2024 tbdmj.com All Rights Reserved 更新时间:2024/12/24 21:08:07