Author:
Bourely Christophe,Défourneaux Gilles,Peltier Nicolas
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Christophe Bourely, Ricardo Caferra, and Nicolas Peltier. A method for building models automatically. Experiments with an extension of OTTER. In Proc. of CADE-12, pages 72–86. Springer Verlag, 1994. LNAI 814.
2. Th. 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.
3. Th. Boy de la Tour and Ch. Kreitz. Building proofs by analogy via the Curry-Howard isomorphism. In Proceedings of LPAR 92, pages 202–213. Springer Verlag, 1992.
4. W. W. Bledsoe. Non-resolution theorem proving. Artificial Intelligence, 9:1–35, 1977.
5. Hubert Comon and Pierre Lescanne. Equational problems and disunification. Journal of Symbolic Computation, 7:371–475, 1989.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献