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