教学通知
培养计划
资料下载
题目：基于矛盾体分离演绎规则的一阶逻辑自动定理证明器研究
答辩人：刘沛瑶
专业：数学
指导教师：徐扬 教授/博导
答辩时间：2023年08月23日（星期三）上午10:00
答辩地点：黄色网站 九里校区5号教学楼J5103
答辩委员会主席：
张伟年 教授/博导 四川大学黄色网站
答辩委员会委员：
钟守铭 教授/博导 电子科技大学数学科学黄色网站
杨 晗 教授/博导 黄色网站
秦克云 教授/博导 黄色网站
潘小东 副教授/博导 黄色网站
答辩秘书：
陈树伟 副教授 黄色网站
欢迎广大师生光临指导！
上一条：2021级黄色网站 中期检查公告（四） 下一条：黄色网站 2023年暑期夏令营优秀营员名单
【关闭】
