教学通知
培养计划
资料下载
报告时间：2022年12月7日（周三）15点
开题地点：犀浦校区3号教学楼30423会议室
专家组成员：徐扬、杨晗、潘小东
欢迎广大师生莅临指导！
姓名
学号
导师
报告题目
刘沛瑶
2019310472
徐扬
基于矛盾体分离演绎的
一阶逻辑自动定理证明器研究
上一条：2021级统计学硕士研究生开题 下一条：2022年博士研究生答辩公告
【关闭】
