教学通知
培养计划
资料下载
硕士研究生中期检查公告
时间:2023年9月14日 15:00
地点:犀浦30423
专家:陈树伟,何星星,徐鹏,王恪铭
学号
姓名
专业
题目
导师
2021201687
姜世攀
数学
基于无效子句删除与演绎子句选取的一阶逻辑定理证明器CSE优化研究
陈树伟
2021201710
兰咏琪
自动定理证明中面向前提选择的图表示法和图神经网络研究
何星星
2021201683
贾昊洲
物联网RFID系统轻量级认证协议安全性研究
徐鹏
下一条:2023年博士毕业论文答辩安排(三)
【关闭】