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