题目：基于矛盾体分离的逆向并行自动定理证明器研究
答辩人：曾国艳
专业：数学
指导教师：徐扬 教授/博导
答辩时间：2025年5月15日（星期四）上午10:00
答辩地点：3044永利官网vip犀浦校区3号教学楼X30423
答辩委员会主席：
钟守铭 教授/博导 电子科技大学数学科学学院
答辩委员会委员：
孟 丹 教授/博导 西南财经大学管理科学与工程学院
杨 晗 教授/博导 3044永利官网vip
杨 洋 教授/博导 3044永利官网vip
潘小东 副教授/博导 3044永利官网vip
答辩秘书：
吴贯锋 工程师 3044永利官网vip
欢迎广大师生光临指导！
