題目：基于矛盾體分離演繹規(guī)則的一階邏輯自動(dòng)定理證明器研究
答辯人：劉沛瑤
專業(yè)：數(shù)學(xué)
指導(dǎo)教師：徐揚(yáng) 教授/博導(dǎo)
答辯時(shí)間：2023年08月23日（星期三）上午10:00
答辯地點(diǎn)：kaiyun開(kāi)云官方網(wǎng)站九里校區(qū)5號(hào)教學(xué)樓J5103
答辯委員會(huì)主席：
張偉年 教授/博導(dǎo) 四川大學(xué)kaiyun開(kāi)云官方網(wǎng)站
答辯委員會(huì)委員：
鐘守銘 教授/博導(dǎo) 電子科技大學(xué)數(shù)學(xué)科學(xué)學(xué)院
楊 晗 教授/博導(dǎo) kaiyun開(kāi)云官方網(wǎng)站
秦克云 教授/博導(dǎo) kaiyun開(kāi)云官方網(wǎng)站
潘小東 副教授/博導(dǎo) kaiyun開(kāi)云官方網(wǎng)站
答辯秘書(shū)：
陳樹(shù)偉 副教授 kaiyun開(kāi)云官方網(wǎng)站
歡迎廣大師生光臨指導(dǎo)！
