第2届国际逻辑化方法建模广州国际研讨会  

作　　者：熊明辉[1] 沈榆平[1] 

机构地区：[1]中山大学逻辑与认知研究所

出　　处：《国际学术动态》2007年第4期48-49,共2页International Academic Developments

摘　　要：2006年9月24—27日，由中山大学逻辑与认知研究所主办的第2届国际逻辑化方法建模会议在广州举行，学术牵头人为赵希顺教授。参加本次学术研讨会的有来自美国、德国、法国、意大利、英国、奥地利、葡萄牙、荷兰等8个国家的15名国外代表，以及中国科学院、香港科技大学、北京大学、南京大学、贵州大学、广西师范大学、中山大学等国内高校及科研机构的26名专家学者。会议收到的24篇论文，涵盖了逻辑公式可满足性、非经典逻辑、模型检测、计算复杂性等多个主题。

关 键 词：国际研讨会 逻辑化 广州 建模 学术研讨会 香港科技大学 广西师范大学 中山大学 

分 类 号：G259.22[文化科学—图书馆学]