教学通知
培养计划
资料下载
开题时间：2021年12月14日（周二）15点
开题地点：犀浦校区3号教学楼30425会议室
专家组成员：徐扬、杨晗、潘小东
欢迎广大师生莅临指导！
姓名
学号
导师
报告题目
刘沛瑶
2019310472
徐扬
矛盾体分离演绎中充分使用子句的
一阶逻辑自动定理证明器研究
上一条：杨洋老师指导的2020级博士研究生开题公告 下一条：研究生（博士、硕士）学业档案“建档月”
【关闭】
