教学通知
培养计划
资料下载
开题时间：2023年6月15日 （周四）15：00
开题地点：犀浦校区3号教学楼30423会议室
专家组成员：徐扬、杨晗、潘小东
欢迎广大师生莅临指导！
学号
姓名
专业
导师
报告题目
2021310600
曾国艳
数学
徐扬
基于矛盾体分离的逆向并行自动定理证明器研究
上一条：bwin必赢2023年优秀大学生暑期夏令营招生简章 下一条：2023年博士研究生中期检查公告（三）
【关闭】
