论文题目：面向大理论的一阶逻辑前提选择研究

答 辩 人： 刘清华

专  业： 计算机科学与技术

指导老师： 徐扬教授

学  院： 计算机与人工智能学院

答辩时间：2021年8月24日（星期二）下午15:00

答辩地点：犀浦校区3号教学楼30425

答辩委员会主席

钟守铭   教授/博导  电子科技大学数学科学学院

答辩委员会委员

孟  丹   教授/博导   西南财经大学经济信息工程学院

李天瑞   教授/博导   西南交通大学计算机与人工智能学院

杨  晗   教授/博导   西南交通大学数学学院

潘小东   副教授/博导  西南交通大学数学学院

答辩秘书

陈树伟   副教授    西南交通大学数学学院

欢迎广大师生光临指导！