Author:
Brown Marianne,Sutcliffe Geoff
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. A. Bundy. The Computer Modelling of Mathematical Reasoning. Academic Press, 1983.
2. H. Chu. CLIN-S User’s Manual. Chapel Hill, USA, 1994.
3. D.A. de Waal and J.P. Gallagher. The Applicability of Logic Programming Analysis and Transformation to Theorem Proving. In A. Bundy, editor, Proceedings of the 12th International Conference on Automated Deduction, number 814 in Lecture Notes in Artificial Intelligence, pages 207–221. Springer-Verlag, 1994.
4. D.W. Loveland. Mechanical Theorem Proving by Model Elimination. Journal of the ACM, 15(2):236–251, 1968.
5. D.W. Loveland. A Linear Format for Resolution. In Laudet M. et al., editor, Proceedings of the IRIA Symposium on Automatic Demonstration, pages 147–162. Springer-Verlag, 1970.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献