[1]殷明浩,李欣.不可满足子式研究[J].智能系统学报,2013,8(6):497-504.
点击复制

不可满足子式研究

更新日期/Last Update: 2014-06-16
Copyright © 《 智能系统学报》 编辑部
地址:(150001)黑龙江省哈尔滨市南岗区南通大街145-1号楼 电话:0451- 82534001、82518134 邮箱:tis@vip.sina.com