题目:基于矛盾体分离演绎规则的一阶逻辑自动定理证明器研究
答辩人:刘沛瑶
专业:数学
指导教师:徐扬 教授/博导
答辩时间:2023年08月23日(星期三)上午10:00
答辩地点:williamhill官网-中文官网九里校区5号教学楼J5103
答辩委员会主席:
张伟年 教授/博导 四川大学威廉希尔亚洲公司
答辩委员会委员:
钟守铭 教授/博导 电子科技大学数学科学学院
杨 晗 教授/博导 威廉希尔亚洲公司
秦克云 教授/博导 威廉希尔亚洲公司
潘小东 副教授/博导 威廉希尔亚洲公司
答辩秘书:
陈树伟 副教授 威廉希尔亚洲公司
欢迎广大师生光临指导!