2025年5月
25
星期日
X2021100190816
基于符号计算的可读性机器证明的理论研究和应用
创新训练项目
中国农业大学
一年期
理学
数学类
2021-06-08
2022-06-28
姓名 专业班级 所在学院 项目中的分工 成员类型
李世初 第一主持人
姓名 职称 指导教师类型
马晓栋 讲师(高校) 第一指导教师