2025年5月
30
星期五
X202310006338
数学问题求解过程的自动验证方法与应用
创新训练项目
北京航空航天大学
一年期
工学
计算机类
2023-07-18
姓名 专业班级 所在学院 项目中的分工 成员类型
张栗瑞 第一主持人
吴桐 成员
田培瑄 成员
韩智旗 成员
郝梓翔 成员
姓名 职称 指导教师类型
陈肖宇 讲师 第一指导教师