Author:
Cantone D.,Cutello V.,Schwartz J. T.
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. W.W. Bledsoe. Non-resolution theorem proving. J. Art. Int., 9:1–35, 1977.
2. W.W. Bledsoe. Some automatic proof in analysis. Contemporary AMS editor, Automated Theorem Proving after 25 years, 1984.
3. D. Cantone, A. Ferro, and E.G. Omodeo. Computable Set Theory. Oxford University Press, 1990.
4. D. Cantone, A. Ferro, E. Omodeo, and J.T. Schwartz. Decision algorithms for some fragments of Analysis and related areas. Comm. Pure App. Math., XL:281–300, 1987.
5. D. Cantone and E. Omodeo. On the decidability of formulae involving continuous and closed functions. In N.S. Sridharam, editor, Eleventh Int. Joint Conf. on Art. Intell., pages 425–430, 1989.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献