徐扬：自动推理及其研究进展简介

　　报告人： 徐扬 西南交通大学教授

　　报告时间：11月03日下午 15:00-17:00

　　报告地点：计算机楼西楼602

　　主办单位：计算机与信息工程学院

　　欢迎光临！

今年考研474万人，学历内卷不断加剧！

如果你还在纠结考与不考？考什么？

 17年考辅名师倾情指导，带你入门MBA联考备考

点击立即报名 ：https://ke.mbalib.com/pc/column/939?cid=1%3Ffrom_source%3Dsxylb

详细课程咨询添加微信：mba2088