The Use of Proof Planning for Co-operative Theorem Proving

机译：证明计划在合作定理证明中的应用

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Lowe H.; Bundy A.; McLean D.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Towards a brief proof of the Four-Color Theorem without using a computer: theorems to be used for proving the Four-Color Theorem [J] . Koji Ohnishi Artificial life and robotics . 2009,第4期

机译：在不使用计算机的情况下获得四色定理的简要证明：用于证明四色定理的定理
2. A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita [J] . Claudio Sacerdoti Coen, Enrico Tassi Journal of Formalized Reasoning . 2008,第1期

机译：互动定理证明者Matita证明了勒贝格的主导收敛定理的建设性和形式化证明
3. A constructive and formal proof of Lebesgue Dominated Convergence Theorem in the interactive theorem prover Matita [J] . Claudio Sacerdoti Coen, Enrico Tassi Journal of Formalized Reasoning . 2008,第1期

机译：交互式定理证明者Matita中Lebesgue占优收敛定理的建设性和形式化证明
4. Learning to Prove Theorems via Interacting with Proof Assistants [C] . Kaiyu Yang, Jia Deng International Conference on Machine Learning . 2019

机译：学习通过与校对助手进行互动证明定理
5. Parallelizing an Interactive Theorem Prover: Functional Programming and Proofs with ACL2. [D] . Rager, David Lawrence. 2012

机译：并行化交互式定理证明：使用ACL2进行函数式编程和证明。
6. Theorems proofs examples and rules in the practice ofepidemiology [O] . Tyler J. VanderWeele, Elizabeth L. Ogburn -1

机译：定理证明实例和规则的做法流行病学
7. The Use of Proof Planning for Cooperative Theorem Proving [O] . Lowe, H., Bundy, Alan, McLean, D. 1998

机译：证明规划在合作定理证明中的运用

The Use of Proof Planning for Co-operative Theorem Proving

著录项

引文网络

相似文献

相关主题

期刊订阅