theorem proving
英
美
- 定理证明
双语例句
- 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.
有时抽象本身可能是很大的工作量，以致定理证明程序可能花费过多时间和资源来完成证明。
相关词汇
theorem
theorem proving use of resolution
Theorem About A'da'm's Conjecture
Theorem of Equipartition of Energy
theorem of complementary slackness
theorem of minimum potential energy
theorem of conditional probabilities
theorem on addition of probabilities
theorem of integration estimate value
Theorem of kinetic-energy of system
Theorems on Symmetric Function Grafts
大家正在查
Copyright © 2023 256查询网 All Rights Reserved
