教学通知
教学通知
首页  >  教育教学  >  研究生教学  >  教学通知  >  正文

    2022年博士研究生中期报告公告

    2022-12-05  点击:[]

    报告时间:2022127日(周三)15

    开题地点:犀浦校区3号教学楼30423会议室

    专家组成员:徐扬、杨晗、潘小东

    欢迎广大师生莅临指导!

    姓名

    学号

    导师

    报告题目

    刘沛瑶

    2019310472

    徐扬

    基于矛盾体分离演绎的

    一阶逻辑自动定理证明器研究

    上一条:2021级统计学硕士研究生开题
    下一条:2022年博士研究生答辩公告

    关闭