汕头大学数学系

学术报告

当前位置: 首页 >> 科学研究 >> 学术报告 >> 正文
陕西师范大学李永明教授于6月2日来我系访问,并作了题为“基于广义可能性测度的计算树逻辑模型检测”学术报告
日期: 2015-11-20      信息来源:      点击数:
陕西师范大学李永明教授于6月2日来我系访问,并作了题为“基于广义可能性测度的计算树逻辑模型检测”学术报告

广东省汕头市翠峰路5号,汕头大学数学系 515821,Email:math@stu.edu.cn

Copyright 2003-2023 汕头大学数学系