Author:
Défourneaux Gilles,Peltier Nicolas
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. C. Berge. Graphes et hypergraphes. Dunod, second edition, 1970.
2. W. W. Bledsoe. Non-resolution theorem proving. Artificial Intelligence, 9:1–35, 1977.
3. C. Bourely, G. Défourneaux, and N. Peltier. Building proofs or counter-examples by analogy in a resolution framework. In J. J. Alferes, L. M. Pereira, and E. Orlowska, editors, Proceedings of JELIA 96, volume 112 of LNAI, pages 34–49. Springer, 1996.
4. T. Boy de la Tour and R. Caferra. Proof analogy in interactive theorem proving: A method to express and use it via second order pattern matching. In Proceedings of AAAI 87, pages 95–99. Morgan Kaufmann, 1987.
5. T. Boy de la Tour and C. Kreitz. Building proofs by analogy via the Curry-Howard isomorphism. In Proceedings of LPAR 92, pages 202–213. Springer, 1992.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献