共 50 条
- [32] AN ELEMENTARY PROOF OF A THEOREM IN CALCULUS AMERICAN MATHEMATICAL MONTHLY, 1985, 92 (08): : 589 - 590
- [37] Theorem proving for constructive λ-calculus ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, APPLICATIONS, PROCEEDINGS, 2000, 1904 : 69 - 79