您要查找的是不是:
- automated theorem proving 定理机器证明
- Property verification is carried out using theorem proving systems. 特性验证使用定理求证系统来实现。
- A member of the Herbrand base is called atom in automatic theorem proving. 在自动定理证明中,海尔勃朗基的成员也称为原子。
- automated theorem prover 自动定理证明器
- automated geometry theorem proving 几何定理机器证明
- At DePaul University has done some work on automated theorem provers to detect null-pointer exceptions in Java code. 已经在自动化定理方面做了一些工作,在Java代码中侦测出空指针异常。
- Completely automated theorem provers, such as model checkers, operate on an abstraction of the problem. 象模型检查程序这种完全自动化的定理证明程序是在问题的一个抽象上操作。
- 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)。
- Experimental Results on Propositional Theorem Proving with Boolean Ring. National Taiwan University, Taipei, Taiwan. 布尔环下零阶逻辑定理证明的一些实验性结果。国立台湾大学资讯工程学研究所硕士论文,台北市。
- The subsidiary conditions (or called non-degeneracy conditions) are not one and only that a theorem holds in differential geometry theorem proving. 在微分几何定理证明中;一个定理成立的辅助条件(非退化条件)不是惟一的;但越简单越好.
- Automated Geometry Theorem Proving and Geometry Education 几何定理自动证明和几何教育
- Clifford Algebra and Automated Geometric Theorem Proving Clifford代数与几何定理机器证明
- 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. 应用几何定理机器证明的研究成果,可以研制出高智能的几何教育软件。
- 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. 本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序,并增加了一条简化命令,使该程序既严格又具有实际可操作性。
- 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是一个确认系统:这就是说,它的语言综合了支持工具和一个定理证明器。
- Realization of theorem proving automation 定理证明自动化的实现
- Theorem proving for robot problem solving 机器人问题求解的定理证明
- What a sod this job is proving to be! 这事儿可真棘手哇!