数学教育学报2008，Vol.17Issue(4)：1-5,5.
自动推理及其在数学教育中的应用
Automated Reasoning and Its Applications in Mathematics Education
张景中 1彭翕成2
作者信息
- 1. 华中师范大学教育部教育信息技术工程研究中心,湖北,武汉,430079
- 2. 广州大学教育软件研究所,广东,广州,510006
- 折叠
引用本文复制引用
张景中,彭翕成..自动推理及其在数学教育中的应用[J].数学教育学报,2008,17(4):1-5,5.基金项目
教育部科技创新工程重大项目培育资金项目资助(705038) （705038）
