搜索结果: 1-2 共查到“逻辑学 逻辑化建模”相关记录2条 . 查询时间(0.183 秒)
第二届国际逻辑化建模与可满足性研讨会举行
<
2008/1/7
2006年9月24日至27日，我校逻辑与认知研究所主办的第二届国际逻辑化建模与可满足性会议在广州举行。
9月24日上午，我校副校长梁庆寅教授、我所所长鞠实儿教授分别在会议开幕式上致欢迎辞，向与会的中外专家学者介绍了中山大学以及中山大学逻辑与认知研究所的相关情况，他希望这次会议能够加强与会各方的学术联系与合作, 并且对中山大学相关学科的发展起到积极的推动作用。与会学者们围绕着逻辑化方法在计算机科学...
中山大学逻辑与认知研究所主办的第二届国际逻辑化建模与可满足性研讨会举行
中山大学逻辑与认知研究所 逻辑化建模
<
2006/9/30
2006年9月24日至27日，中山大学逻辑与认知研究所主办的第二届国际逻辑化建模与可满足性会议在广州举行。参加本次学术研讨会的有来自美国、德国、法国、意大利、英国、奥地利、葡萄牙、荷兰等八个国家的15名代表，以及中国科学院、香港科技大学、北京大学、南京大学、贵州大学、广西师范大学、中山大学等国内高校或科研机构的20多名专家学者。