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