活动名称 徐扬：自动推理及其研究进展简介 活动时间已结束 2014年11月03日 (星期一) 15:00-17:00 活动地点 计算机楼西楼602 活动详情 报告人： 徐扬 西南交通大学教授 报告时间：11月03日下午 15:00-17:00 报告地点：计算机楼西楼602 主办单位：计算机与信息工程学院 欢迎光临！