Author:
Caferra Ricardo,Peltier Nicolas,Puitg François
Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. N. Balacheff. Apprendre la preuve. In J. Sallantin and J.-J. Szczeniarz (eds.), Le concept de preuve à la lumière de l’intelligence artificielle, pages 197–236. PUF, Paris, 1999.
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 counterexamples by analogy in a resolution framework. In Proceedings of JELIA 96, LNAI 1126, pages 34–49. Springer, 1996.
4. R. Caferra and M. Herment. A generic graphic framework for combining inference tools and editing proofs and formulae. Journal of Symbolic Computation, 19(2):217–243, 1995.
5. Lect Notes Comput Sci;R. Caferra,1991
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献