您要查找的是不是:
- Property verification is carried out using theorem proving systems. 特性验证使用定理求证系统来实现。
- A member of the Herbrand base is called atom in automatic theorem proving. 在自动定理证明中,海尔勃朗基的成员也称为原子。
- In addition,it uses a simple example to illustrate the application of the rules in Isabelle theorem prover. 形式化规范和系统具体实现代码之间的一致性验证[1]。
- The research in mechanical theorem proving has great significance in the theory and the practice. 定理机器证明的研究,在理论和实践上都具有重要的意义。
- Hans-Gert Grabe. (2002). The GeoProver Package for Mechanized (Plane) Geometry Theorem Proving Version 1.3a. 郑英豪(2003),行政院国家科学委员会专题研究计画-期中进度报告:青少年图形命题论证教学的研究(1/4)。
- PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover. PVS是一个确认系统:这就是说,它的语言综合了支持工具和一个定理证明器。
- Experimental Results on Propositional Theorem Proving with Boolean Ring. National Taiwan University, Taipei, Taiwan. 布尔环下零阶逻辑定理证明的一些实验性结果。国立台湾大学资讯工程学研究所硕士论文,台北市。
- Isabelle is a logic framework used to construct theorem provers. Isabelle/HOL, which came from Isabelle, is a theorem prover with mature functions. Isabelle是一种用来构造交互式定理证明器的逻辑框架,由它构造的Isabelle/HOL是一种功能完备的定理证明系统。
- 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. 有时抽象本身可能是很大的工作量,以致定理证明程序可能花费过多时间和资源来完成证明。
- The subsidiary conditions (or called non-degeneracy conditions) are not one and only that a theorem holds in differential geometry theorem proving. 在微分几何定理证明中;一个定理成立的辅助条件(非退化条件)不是惟一的;但越简单越好.
- There wasn't enough evidence to prove him guilty. 没有充分的证据证明他有罪。
- There wasn't enough evidence to prove his guilt. 没有充分的证据能证明他有罪。
- He weighed in to prove the point. 他插手来证实那个论点。
- I'll prove to the world that he was right. 我将向世人证明他是对的。
- With the aid of the research fruits from the automated geometry theoremproving, this paper can implement the software with intelligence mentioned aboveby embedding the geometry theorem prover (GTP) in the DGS. 应用几何定理机器证明的研究成果,可以研制出高智能的几何教育软件。
- I defy you to prove I have cheated. 我谅你无法证实我欺骗了人。
- You must prove you can deliver the goods. 你必须证明你能不负众望。
- 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. 要不然,抽象会丢掉那么多信息,以致于定理证明程序产生的结果对抽象而言是正确的,但是对于正在被分析的程序而言则是不正确的了。
- As a whole our efforts did not prove to be futile. 总体说来,我们的努力没有白费。
- Prove thy friend ere thou have need. 在你需要朋友帮助前,先要考验他们。