论文题目：面向大理论的一阶逻辑前提选择研究
答 辩 人： 刘清华
专 业： 计算机科学与技术
指导老师： 徐扬教授
学 院： 计算机与人工智能学院
答辩时间：2021年8月24日（星期二）下午15:00
答辩地点：犀浦校区3号教学楼30425
答辩委员会主席
钟守铭 教授/博导 电子科技大学数学科学学院
答辩委员会委员
孟 丹 教授/博导 西南财经大学经济信息工程学院
李天瑞 教授/博导 西南交通大学计算机与人工智能学院
杨 晗 教授/博导 西南交通大学数学学院
潘小东 副教授/博导 西南交通大学数学学院
答辩秘书
陈树伟 副教授 西南交通大学数学学院
欢迎广大师生光临指导！