当前位置: 首页 > 学术科研 > 学术活动 > 学术报告 > 正文

陕西师范大学李永明教授于6月2日来我系访问,并作了题为“基于广义可能性测度的计算树逻辑模型检测”学术报告

发布日期:2015-11-20    作者:         点击:
陕西师范大学李永明教授于6月2日来我系访问,并作了题为“基于广义可能性测度的计算树逻辑模型检测”学术报告

版权所有:汕头大学数学与计算机学院