发布者：发布时间：2013-11-11浏览次数：352
校庆系列学术报告
报告人：华东师范大学软件学院郁文生教授
报告题目：数学机械化在信息科学中的若干应用
报告时间：11月13日（周三）下午1：00-2：00
地点：第一教学大楼407教室
