作者：wangx 时间：2014-01-09 点击数：
报告人：张永刚
报告题目：约束推理问题求解方法
报告地点：计算机科学与信息技术学院401室
报告时间：2014年1月6日下午15:30
版权所有© 东北师范大学信息科学与技术学院 地址: 吉林省长春市净月大街2555号 邮编130117 网站制作与维护: 计算机科学系 电话: 0431-84536338 传真: 0431-84536331
