您要查找的是不是:
- The research in mechanical theorem proving has great significance in the theory and the practice. 定理机器证明的研究,在理论和实践上都具有重要的意义。
- The Application of Citing Instances Method in the Mechanical Theorem Proving 例证法在定理机器证明中的应用
- mechanical theorem proving 机器证明
- Property verification is carried out using theorem proving systems. 特性验证使用定理求证系统来实现。
- A member of the Herbrand base is called atom in automatic theorem proving. 在自动定理证明中,海尔勃朗基的成员也称为原子。
- Hans-Gert Grabe. (2002). The GeoProver Package for Mechanized (Plane) Geometry Theorem Proving Version 1.3a. 郑英豪(2003),行政院国家科学委员会专题研究计画-期中进度报告:青少年图形命题论证教学的研究(1/4)。
- Experimental Results on Propositional Theorem Proving with Boolean Ring. National Taiwan University, Taipei, Taiwan. 布尔环下零阶逻辑定理证明的一些实验性结果。国立台湾大学资讯工程学研究所硕士论文,台北市。
- Mechanical geometry theorem proving 几何定理机器证明
- The subsidiary conditions (or called non-degeneracy conditions) are not one and only that a theorem holds in differential geometry theorem proving. 在微分几何定理证明中;一个定理成立的辅助条件(非退化条件)不是惟一的;但越简单越好.
- 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. 本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序,并增加了一条简化命令,使该程序既严格又具有实际可操作性。
- Realization of theorem proving automation 定理证明自动化的实现
- In addition,it uses a simple example to illustrate the application of the rules in Isabelle theorem prover. 形式化规范和系统具体实现代码之间的一致性验证[1]。
- PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover. PVS是一个确认系统:这就是说,它的语言综合了支持工具和一个定理证明器。
- Theorem proving for robot problem solving 机器人问题求解的定理证明
- A NEW METHOD FOR THEOREM PROVING OF PTL 命题时态逻辑定理证明新方法
- Indeed, the test was so successful that Dr Bergmann hopes to obtain images that will reveal missing text from "The Method of Mechanical Theorems", the only copy of which is contained in the palimpsest. 这项顺利的探测让博格曼博士希望能够获得“机械定理的方法”上失落的文字的图像,这个著作唯一的抄本仅存于重写本上。
- 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是一种功能完备的定理证明系统。
- automated geometry theorem proving 几何定理机器证明
- 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. 有时抽象本身可能是很大的工作量,以致定理证明程序可能花费过多时间和资源来完成证明。
- Is this equipment tested for mechanical aptitude? 这台设备测定了其机械适应性了吗?