Computer proofs of limit theorems
- 1 January 1972
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 3, 27-60
- https://doi.org/10.1016/0004-3702(72)90041-0
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Splitting and reduction heuristics in automatic theorem provingArtificial Intelligence, 1971
- REF-ARF: A system for solving problems stated as proceduresArtificial Intelligence, 1970
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- An improved proof procedure1Theoria, 1960
- Toward Mechanical MathematicsIBM Journal of Research and Development, 1960