題目：基于矛盾體分離的逆向并行自動定理證明器研究
答辯人：曾國艷
專業(yè)：數(shù)學(xué)
指導(dǎo)教師：徐揚(yáng) 教授/博導(dǎo)
答辯時(shí)間：2025年5月15日（星期四）上午10:00
答辯地點(diǎn)：kaiyun開云官方網(wǎng)站犀浦校區(qū)3號教學(xué)樓X30423
答辯委員會主席：
鐘守銘 教授/博導(dǎo) 電子科技大學(xué)數(shù)學(xué)科學(xué)學(xué)院
答辯委員會委員：
孟 丹 教授/博導(dǎo) 西南財(cái)經(jīng)大學(xué)管理科學(xué)與工程學(xué)院
楊 晗 教授/博導(dǎo) kaiyun開云官方網(wǎng)站
楊 洋 教授/博導(dǎo) kaiyun開云官方網(wǎng)站
潘小東 副教授/博導(dǎo) kaiyun開云官方網(wǎng)站
答辯秘書：
吳貫鋒 工程師 kaiyun開云官方網(wǎng)站
歡迎廣大師生光臨指導(dǎo)！
