徐扬教授指导的博士生刘清华和曹锋博士学位论文开题报告

来源:信息科学与技术学院  作者:刘明慧  日期:2018-09-20  点击数:177
时间:2018年9月25日(周二)下午 15:00
地点:九里校区信息楼10楼01020会议室
专家组成员:徐扬教授、宋振明教授、李天瑞教授
姓名            学号               导师         专业方向                     报告题目
刘清华   2016310085    徐扬教授   计算机科学与技术    基于矛盾体分离的一阶逻辑动态自动演绎推理的子句选择方法

曹锋      2016300082    徐扬教授   计算机科学与技术    一种基于矛盾体分离演绎的一阶逻辑自动定理证明器研究 


欢迎各位老师和同学光临指导!