葛强, 张景中, 陈矛*, 彭翕成. 基于向量的几何可读自动证明. 计算机学报, 2014, 37(8): 1809-181 （EI，CCF A类中文期刊）
发布时间：2026-06-15
点击次数：
- 发布时间：
- 2026-06-15
- 论文名称：
- 葛强, 张景中, 陈矛*, 彭翕成. 基于向量的几何可读自动证明. 计算机学报, 2014, 37(8): 1809-181 （EI，CCF A类中文期刊）
- 是否译文：
- 否
-
陈矛
- 教授 博士生导师 硕士生导师
教师拼音名称：chen mao
电子邮箱：
所在单位：“人工智能与教育新形态”教育部哲学社会科学实验室
性别：男
在职信息：在职
学科：计算机应用技术
招生学科： 教育技术学 、 计算机应用技术 、 教育学