首页> 外文OA文献 >AC-complete Unification and its Application to Theorem Proving

【2h】

AC-complete Unification and its Application to Theorem Proving

机译：交流完全统一及其在定理证明中的应用

页面导航

著录项
相似文献
相关主题

著录项

作者
Alexandre Boudet; Evelyne Contejean; Claude Marché;
展开▼
作者单位

展开▼
年度 1996
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. An Improvement of Herbrand's Theorem and Its Application to Model Generation Theorem Proving [J] . Yu-Yan Chao, Li-Feng He, Tsuyoshi Nakamura, Journal of Computer Science & Technology . 2007,第4期

机译：Herbrand定理的一种改进及其在模型生成定理证明中的应用
2. An Improvement of Herbrand's Theorem and Its Application to Model Generation Theorem Proving [J] . Yu-Yan Chao, Li-Feng He, Wsuyoshi Nakamura, 计算机科学技术学报（英文版） . 2007,第004期

机译：Herbrand定理的一种改进及其在模型生成定理证明中的应用
3. Higher-order theorem proving and its applications [J] . Alexander Steen Information Technology . 2019,第4期

机译：高阶定理证明及其应用
4. AC-Complete Unification and its Application to Theorem Proving [C] . Alexandre Boudet, Evelyne Contejean, Claude Marche International conference on rewriting techniques and applications;RTA-96 . 1996

机译：AC完全统一及其在定理证明中的应用
5. On the applications of Interactive Theorem Proving in computational sciences and engineering. [D] . Tahat, Amer. 2016

机译：关于交互式定理证明在计算科学和工程中的应用。
6. Some Theorems in Finite Field Theory with Applications to Fermats Last Theorem [O] . H. S. Vandiver 1944

机译：有限场理论中的一些定理及其在费马最后定理中的应用
7. Representation Theorems and the Semantics of Non-Classical Logics , and Applications to Automated Theorem Proving [O] . Viorica Sofronie-stokkermans 2002

机译：表示定理和非经典逻辑的语义学及其在自动定理证明中的应用
8. Which Theorem Prover. A Survey of Four Theorem Provers [R] . Smith, A. 1990

机译：哪个定理证明。四种定理证明方法综述

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号