| 词汇 |
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.有时抽象本身可能是很大的工作量，以致定理证明程序可能花费过多时间和资源来完成证明。 |
| 随便看 |
- 350 RMB Yuan什么意思翻译
- 351什么意思翻译
- 3511什么意思翻译
- 352什么意思翻译
- 352号技工钳什么意思翻译
- 353什么意思翻译
- 3,5,3',5'-diresoreinol什么意思翻译
- 3,5,3'5' Tetraiodothyroacetic acid什么意思翻译
- 3,5,3',5'-tetraiodothyroine什么意思翻译
- 3,5,3'5' Tetraiodothyronine什么意思翻译
- 3,5,3',5'-Tetraiodothyronine什么意思翻译
- 3,5,3',5'-tetraiodothyropropionic acid什么意思翻译
- 3,5,3',5'四碘甲腺丙酸什么意思翻译
- 3,5,3'5'四碘甲腺乙酸什么意思翻译
- 3,5,3'5'四碘甲腺原氨酸什么意思翻译
- 3,5,3',5'-联间苯二酚什么意思翻译
- 353 hole tray什么意思翻译
- 3,5,3' Triiodothyroacetic acid什么意思翻译
- 3,5,3'-triiodothyroacetic acid什么意思翻译
- 3,5,3-triiodothyronine什么意思翻译
- 3,5,3' Triiodothyronine什么意思翻译
- 3,5,3'-triiodothyronine什么意思翻译
- 3,5,3-triiodothyronineT3什么意思翻译
- 3,5,3'-triiodothyronine, T3什么意思翻译
- 3,5,3'-triiodothyropropionic acid什么意思翻译
- 3,5,3'-triodothyronine comcentration assay什么意思翻译
- 3,5,3'-triodothyronine inhibiting test什么意思翻译
- 3,5,3'-三碘甲状腺原氨酸什么意思翻译
- 3,5,3'-三碘甲腺丙酸什么意思翻译
- 3,5,3'-三碘甲腺乙酸什么意思翻译
|