ENGLISH | 学校主页
科学研究
学术报告
当前位置: 学院主页 > 科学研究 > 学术报告 > 正文

An Introduction to Formal Analysis

发布时间：2019-03-28 作者： 浏览次数：
Speaker: Professor Xiao-Xiong Gan DateTime: 2019年3月29日（星期五）上午10：00—11：00
Brief Introduction to Speaker:

Professor Xiao-Xiong Gan，美国Morgan州立大学 中国科学院华罗庚中心。

 Place: 六号楼二楼报告厅
Abstract:

版权所有 © 2010 华中师范大学数学与统计学学院