2021級(jí)碩士研究生中期檢查公告（四）
2023-09-14 點(diǎn)擊：[]
碩士研究生中期檢查公告
時(shí)間：2023年9月14日 15:00
地點(diǎn)：犀浦30423
專家：陳樹偉，何星星，徐鵬，王恪銘
學(xué)號(hào) | 姓名 | 專業(yè) | 題目 | 導(dǎo)師 |
2021201687 | 姜世攀 | 數(shù)學(xué) | 基于無效子句刪除與演繹子句選取的一階邏輯定理證明器CSE優(yōu)化研究 | 陳樹偉 |
2021201710 | 蘭詠琪 | 數(shù)學(xué) | 自動(dòng)定理證明中面向前提選擇的圖表示法和圖神經(jīng)網(wǎng)絡(luò)研究 | 何星星 |
2021201683 | 賈昊洲 | 數(shù)學(xué) | 物聯(lián)網(wǎng)RFID系統(tǒng)輕量級(jí)認(rèn)證協(xié)議安全性研究 | 徐鵬 |
上一條：2023年博士畢業(yè)論文答辯安排（四）
下一條：2023年博士畢業(yè)論文答辯安排（三）
【關(guān)閉】
