共 50 条
- [32] AN ELEMENTARY PROOF OF A THEOREM IN CALCULUS AMERICAN MATHEMATICAL MONTHLY, 1985, 92 (08): : 589 - 590
- [36] Theorem proving for constructive λ-calculus ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, APPLICATIONS, PROCEEDINGS, 2000, 1904 : 69 - 79
- [40] The fundamental theorem of calculus: visually? ZDM-MATHEMATICS EDUCATION, 2014, 46 (04): : 691 - 695