Author:
Bauer Andrej,Clarke Edmund,Zhao Xudong
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. P. B. Andrews. On connections and higher-order logic. Journal of Automated Reasoning, 5:257–291, 1989.
2. B. C. Berndt. Ramanujan's Notebooks, Part I. Springer-Verlag, 1985.
3. W. W. Bledsoe. The ut natural deduction prover. Technical Report ATP-17B, Mathematical Dept., University of Texas at Austin, 1983.
4. W. W. Bledsoe. Some automatic proofs in analysis. In Automated Theorem Proving: After 25 Years. American Mathematical Society, 1984.
5. W. W. Bledsoe, P. Bruell, and R. E. Shostak. A prover for general inequalities. Technical Report ATP-40A, Mathematical Dept., University of Texas at Austin, 1979.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献