theorem prover
[计] 定理证明器
theorem prover中文，theorem prover的意思，theorem prover翻译及用法
2025-09-09 13:48 浏览次数 8
theorem prover 例句
英汉例句
Effective use of a theorem prover requires a solid understanding of the internal operations of the tool and a familiarity with the mathematical proof process.
高效地使用定理证明需要对工具的内部操作有坚实的理解并且熟悉数学证明过程。
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.
有时抽象本身可能是很大的工作量，以致定理证明程序可能花费过多时间和资源来完成证明。
Although less automatic, efficient usage of a theorem prover can handle much larger designs than model checkers and requires less memory.
尽管缺少自动化，高效地使用定理证明器能处理比模型检查器更大的设计并且要求更小的内存。
This paper presents a technique for designing theorem prover which mainly based on transformation and substitution for Pointer Logic. The technique realized as a tool called APL is implemented.
提出了一种为指针逻辑设计定理证明器的新技术，该项技术主要是基于变换和替代，已在APL的工具中得以实现。
Or else, the abstraction may throw away so much information that the theorem prover may yield results that are correct for the abstraction, but incorrect for the program being analysed.
要不然，抽象会丢掉那么多信息，以致于定理证明程序产生的结果对抽象而言是正确的，但是对于正在被分析的程序而言则是不正确的了。
相关热词
- theorem of moment of momentum中文，theorem of moment of momentum的意思，theorem of moment of momentum翻译及用法
- theorem of kinetic energy中文，theorem of kinetic energy的意思，theorem of kinetic energy翻译及用法
- Theorem of Equipartition of Energy中文，Theorem of Equipartition of Energy的意思，Theorem of Equipartition of Energy翻译及用法
- theorem and deduction中文，theorem and deduction的意思，theorem and deduction翻译及用法
- theorem中文，theorem的意思，theorem翻译及用法
- The Oregonian中文，The Oregonian的意思，The Oregonian翻译及用法
- the ordinary world中文，the ordinary world的意思，the ordinary world翻译及用法
- the ordinary portland cement中文，the ordinary portland cement的意思，the ordinary portland cement翻译及用法
- the Ordinance中文，the Ordinance的意思，the Ordinance翻译及用法
- the orbitofrontal cortex中文，the orbitofrontal cortex的意思，the orbitofrontal cortex翻译及用法
- theorem proving中文，theorem proving的意思，theorem proving翻译及用法
- theoretic中文，theoretic的意思，theoretic翻译及用法
- theoretical中文，theoretical的意思，theoretical翻译及用法
- theoretical accordance中文，theoretical accordance的意思，theoretical accordance翻译及用法
- theoretical analysis中文，theoretical analysis的意思，theoretical analysis翻译及用法
- theoretical analysis and calculation中文，theoretical analysis and calculation的意思，theoretical analysis and calculation翻译及用法
- theoretical analysis and numerical中文，theoretical analysis and numerical的意思，theoretical analysis and numerical翻译及用法
- theoretical analysis and numerical calculation中文，theoretical analysis and numerical calculation的意思，theoretical analysis and numerical calculation翻译及用法
- theoretical analysis and numerical calculations中文，theoretical analysis and numerical calculations的意思，theoretical analysis and numerical calculations翻译及用法
- theoretical analysis and numerical computation中文，theoretical analysis and numerical computation的意思，theoretical analysis and numerical computation翻译及用法
- 上一篇： theorem of moment of momentum
- 下一篇： theorem proving