Advances in Mathematics Education Research on Proof and Proving
这是关于数学的电子书，高清，最新版本，经典著作，英文版
用户评论
推荐下载
- The application of Authorware in modern education
- Packtpub.WordPress.for.Education
- KEEP Education school 开源
- Online Education.zip
- Islam and Religious Education in Turkey
- Automated Theorem Proving自动定理证明讲义
- coq s art interactive theorem proving and program development
- ParaVerifier An Automatic Framework for Proving Parameterized Cache Coherence P
- Coq教程The Coq Proof Assistant
- quaternion_average_proof.pdf