可满足实例集的生成

2014.06.10

投稿:龚惠英部门:理学院浏览次数:

活动信息

时间: 2014年06月20日 10:30

地点: 校本部G507

报告主题:可满足实例集的生成
报 告 人:Calin Anton 助理教授(罗马尼亚Grant MacEwan大学)
报告时间:2014年6月20日(周五)10:30
报告地点:校本部G507
主办部门:理学院数学系
邀 请 人:王辛