周畅 张慧熙 吴强 陈偕雄 娄建国 肖林荣 沈继忠 赵小琳 潘伟珍 程晓艳 李梅

dj图 布尔差分 互斥变量 逻辑综合 逻辑函数 喷锚网 降维dj图 降维bj图 CRM分解图 布尔减-异或 代数化简法 固定极性 CRM展开式 和式项 对称函数 或-符合代数系统 图形化简法 或符合式 基坑围护 支护技术 布尔除-符合 降维K图 降维CRM分解图 高校图书馆 bj图 图形法 K图 特色馆藏 逻辑设计 个性化服务

浙江大学信息与电子工程系 绍兴文理学院机电系 浙江杭州 浙江绍兴 嘉兴学院电气工程系 浙江嘉兴 中国计量学院信息与电子工程系 绍兴文理学院计算机系