時(shí)間：2022年12月16日15:00
騰訊會(huì)議：260-318-063
專家組成員：Jun Liu、陳樹(shù)偉、徐鵬、何星星
學(xué)號(hào) |
姓名 |
專業(yè) |
題目 |
導(dǎo)師 |
2021201710 |
蘭詠琪 |
數(shù)學(xué) |
自動(dòng)定理證明中面向前提選擇的圖表示法研究 |
何星星 |
2021201687 |
姜世攀 |
數(shù)學(xué) |
一階邏輯定理證明器CSE中的冗余子句刪除與演繹子句選取策略 |
陳樹(shù)偉 |
2021201683 |
賈昊洲 |
數(shù)學(xué) |
面向RFID安全協(xié)議的研究與形式化分析 |
徐鵬 |
歡迎廣大師生蒞臨指導(dǎo)！
