邓伟 邱建林 顾晖 刘维富 丁卫平 吕彦明 张义清

逻辑综合 操作系统 属性约简 构建主义 可观测无关项 粗糙集 许可函数 重聚路径

江苏南通 江苏南京 江苏苏州 南通工学院信息工程系 南通大学计算机科学与技术学院 苏州大学计算机科学与技术学院 南京航空航天大学信息科学与技术学院 江苏南通226019南京航空航天大学信息...