| 单词 | theorem proving |
| 释义 | 例句释义: 定理证明,定理证明法,定理证明方法,定理机器证明 1. A member of the Herbrand base is called atom in automatic theorem proving . 在自动定理证明中，海尔勃朗基的成员也称为原子。 www.bing.com 2. First-order theorem proving is one of the most mature subfields of automated theorem proving. 一阶定理证明是最成熟的分支的自动定理证明。 blog.sina.com.cn 3. Commercial use of automated theorem proving is mostly concentrated in integrated circuit design and verification. 商业使用的自动定理证明主要集中在集成电路设计和验证。 blog.sina.com.cn 4. There are hybrid theorem proving systems which use model checking as an inference rule. 有混合定理证明系统，使用模型检查的推理规则。 blog.sina.com.cn 5. The research in mechanical theorem proving has great significance in the theory and the practice. 定理机器证明的研究，在理论和实践上都具有重要的意义。 www.dictall.com 6. There is however a much larger disconnect between the world of theorem proving and dynamic languages. 然而在理论层面和动态语言实际应用之间还是存在一些差距的。 www.infoq.com 7. Property verification is carried out using theorem proving systems. 特性验证使用定理求证系统来实现。 www.pediy.com 8. Computing simplest subsidiary conditions in differential geometry theorem proving 微分几何定理证明中最简单辅助条件的计算 ilib.cn 9. Development and Verification of High Confidence Embedded Software by Combining Model Checking and Theorem Proving 模型检测与定理证明相结合开发并验证高可信嵌入式软件 www.ilib.cn 10. catagenesis condition for approximate theorem - proving 近似定理证明中的退化条件 www.ichacha.net 1. Research on Parallel Algorithm of Numerical Verification for Geometry Theorem Proving 几何定理并行验证算法研究 www.ilib.cn 2. Universal Algorithm of Automatic Theorem Proving in Propositional Logic 命题逻辑定理证明的一个普遍能行算法 ilib.cn 3. New development of theory and algorithms of mechanization of geometric theorem proving (gao xiaoshan as a main participant, 1997) 几何定理机器证明理论与算法的新进展（主要参加者高小山，1997） bk.51player.com 4. Automated Geometry Theorem Proving and Geometry Education 几何定理自动证明和几何教育 bbs.gscas.ac.cn 5. The Application of Citing Instances Method in the Mechanical Theorem Proving 例证法在定理机器证明中的应用 ilib.cn 6. Realization of theorem proving automation 定理证明自动化的实现 www.ilib.cn 7. On Mechanical Theorem-proving in Elementary Geometry 初等几何定理的机器证明 www.ilib.cn 8. Mechanical Geometry Theorem Proving Based on The Elimination Method With Decoupling of Leading Terms For Polynomial Set 基于多项式组主项解耦消元法的几何定理机器证明 www.ilib.cn 9. Single Logical Theorem Proving in Totally Abstract Fact Space 全抽象事实空间中的单逻辑定理证明 www.ilib.cn 10. The complexity of theorem proving procedures 定理证明过程的复杂度 encyclopedia.figureout.info 1. Research and development of automated theorem proving system for set theory 集合论等式型定理机器证明系统的研究与开发 www.ilib.cn 2. Theorem proving for robot problem solving 机器人问题求解的定理证明 news.dic123.com 3. Theorem Proving in Higher Order Logics 高阶逻辑中的定理验证 list.dangdang.com 4. The Paralell numerical method of mech-anical Theorem Proving 定理机器证明的数值并行法 bbs.gscas.ac.cn |
| 随便看 |
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。