自动推理与教育软件智能平台
Automated Reasoning and Intelligent Platform for Education Software
张景中 1李传中1
作者信息
- 1. 广州大学,计算机教育软件研究所,广东,广州,510405
- 折叠
摘要
阐述了如下内容:①自动推理的发展与教育技术;②教育软件智能平台的基本构成;③教育软件智能平台应有的功能.并进行了教育软件智能平台实例演示.
关键词
自动推理/教育软件智能平台/教育技术/解析几何/立体几何/物理引用本文复制引用
出版年
2001
NETL
NSTL
维普
万方数据