电脑体验，效果更佳

李传中图谱-计算机领域：

相关人员

郭四稳 陈光喜 王晓京 何维

研究领域

几何信息 反证法 规则 物理智能教育软件 计算机辅助教学 定理机器证明 Lisp语言 谓词

所属机构

广州师范学院教育软件研究所 中国科学院成都计算机应用研究所

标签云