张晓如 黄智生 曹存根 眭跃飞

可满足性 图灵度 弱真值表归约 极小对 形式系统 递归可枚举度 命题模态逻辑 模糊约束

江苏镇江 中国科学院软件研究所 扬州大学工业学院计算机系 中国科学院计算技术研究所智能信息处理重点... 江苏科技大学计算机科学与工程学院智能信息... 中国科学院计算机技术研究所智能信息处理重... 江苏科技大学计算机科学与技术系智能计算联...