您要查找的是不是:
- 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. 在微分几何定理证明中;一个定理成立的辅助条件(非退化条件)不是惟一的;但越简单越好.
- The case, I would submit, is not proven. 本人认为此案证据不足。
- There wasn't enough evidence to prove him guilty. 没有充分的证据证明他有罪。
- 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. 应用几何定理机器证明的研究成果,可以研制出高智能的几何教育软件。
- There wasn't enough evidence to prove his guilt. 没有充分的证据能证明他有罪。
- 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. 要不然,抽象会丢掉那么多信息,以致于定理证明程序产生的结果对抽象而言是正确的,但是对于正在被分析的程序而言则是不正确的了。
- He weighed in to prove the point. 他插手来证实那个论点。
- I'll prove to the world that he was right. 我将向世人证明他是对的。
- The article uses the proving of deduction theorem to give general program of construction theorem proving, and adding a piece of simplification command. The program is gotten strict and exercisable. 本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序,并增加了一条简化命令,使该程序既严格又具有实际可操作性。
- I defy you to prove I have cheated. 我谅你无法证实我欺骗了人。
- You must prove you can deliver the goods. 你必须证明你能不负众望。