搜索结果: 1-1 共查到“国际动态 逻辑学 研讨会”相关记录1条 . 查询时间(0.971 秒)
2006年9月24日至27日，中山大学逻辑与认知研究所主办的第二届国际逻辑化建模与可满足性会议在广州举行。参加本次学术研讨会的有来自美国、德国、法国、意大利、英国、奥地利、葡萄牙、荷兰等八个国家的15名代表，以及中国科学院、香港科技大学、北京大学、南京大学、贵州大学、广西师范大学、中山大学等国内高校或科研机构的20多名专家学者。