第2届国际逻辑化方法建模广州国际研讨会 |
| |
引用本文: | 熊明辉,沈榆平.第2届国际逻辑化方法建模广州国际研讨会[J].国际学术动态,2007(4):48-49. |
| |
作者姓名: | 熊明辉 沈榆平 |
| |
作者单位: | 中山大学逻辑与认知研究所,广州510275 |
| |
摘 要: | 2006年9月24—27日,由中山大学逻辑与认知研究所主办的第2届国际逻辑化方法建模会议在广州举行,学术牵头人为赵希顺教授。参加本次学术研讨会的有来自美国、德国、法国、意大利、英国、奥地利、葡萄牙、荷兰等8个国家的15名国外代表,以及中国科学院、香港科技大学、北京大学、南京大学、贵州大学、广西师范大学、中山大学等国内高校及科研机构的26名专家学者。会议收到的24篇论文,涵盖了逻辑公式可满足性、非经典逻辑、模型检测、计算复杂性等多个主题。
|
关 键 词: | 国际研讨会 逻辑化 广州 建模 学术研讨会 香港科技大学 广西师范大学 中山大学 |
本文献已被 维普 等数据库收录! |
|