作　　者： ; ;

机构地区： 中山大学人文科学学院逻辑与认知研究所

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

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

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

领　　域： [文化科学]