题 目：程序验证中的一个数学问题 报告人：北京大学禁漫天堂 夏壁灿教授时 间：2018年1月8日上午9：00地 点：数学楼一楼第一报告厅
上一篇： 禁漫天堂 、所系列学术报告(746场)：澳大利亚墨尔本皇家理工大学 罗幼松
下一篇： 禁漫天堂 、所系列学术报告(718场)：美国犹他州立大学王志强教授
