中英互译
theorem proving
基本释义
- 定理证明
双语例句
- Antecedent derivation is an extension of theorem proving.前件推导是定理证明的一种扩展。
- Property verification is carried out using theorem proving systems.特性验证使用定理求证系统来实现。
- The research in mechanical theorem proving has great significance in the theory and the practice.定理机器证明的研究，在理论和实践上都具有重要的意义。
网络短语
- automated theorem proving自动定理证明；证明；定理机器证明；证实
- Automatic Theorem Proving自动定理证明
- mechanical theorem proving机器定理证明；机器证明
- theorem proving machine定理证明机
- theorem-proving定理证明