徐扬教授指导的博士生陈青山博士学位论文答辩公告

来源:信息科学与技术学院  作者:刘明慧  日期:2017-12-26  点击数:549

题        目:基于矛盾体分离的命题逻辑动态自动演绎推理求解系统研究

答  辩  人:陈青山

专      业:计算机科学与技术

指导老师:徐扬 教授/博导

答辩委员会主席:

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

答辩委员会委员:

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

李天瑞 教授/博导 西南交通大学信息科学与技术学院

秦克云 教授/博导 西南交通大学数学学院

黄天民 教授/博导 西南交通大学数学学院

答辩秘书:

何星星 讲师 西南交通大学数学学院

答辩时间:20171229日(星期五)下午230

答辩地点:九里校区01020

欢迎广大师生光临指导!