教学通知
培养计划
资料下载
时间:2022年12月16日15:00
腾讯会议:260-318-063
专家组成员:Jun Liu、陈树伟、徐鹏、何星星
学号
姓名
专业
题目
导师
2021201710
兰咏琪
数学
自动定理证明中面向前提选择的图表示法研究
何星星
2021201687
姜世攀
一阶逻辑定理证明器CSE中的冗余子句删除与演绎子句选取策略
陈树伟
2021201683
贾昊洲
面向RFID安全协议的研究与形式化分析
徐鹏
欢迎广大师生莅临指导!
上一条:转:伟德bevictor中文版2023年硕士研究生招生考试初试成绩查询和申请复核公告 下一条:周正春、范翠玲、杨洋老师指导的2021级硕士研究生开题公告
【关闭】