徐扬教授指导的博士生宁欣然开题公告

来源:信息科学与技术学院  作者:刘明慧  日期:2018-06-15  点击数:210
开题时间:2018年06月19日(周二下午)15:00-17:00
开题地点:九里校区信息楼十楼 1020会议室
专家组成员:徐扬教授、Dr. Jun Liu、李天瑞教授
姓名             学号             导师               专业                            题目
宁欣然   2015310085     徐扬教授   计算机科学与技术    命题逻辑和一阶逻辑的子句集约简