作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
基于区分矩阵与区分函数的同元转换约简算法
徐宁, 章云, 周如旗
Same Element Conversion Reduction Algorithm Based on Discernibility Matrix and Discernibility Function
XU Ning, ZHANG Yun, ZHOU Ru-Qi
计算机工程 . 2013, (4): 39 -43 .  DOI: 10.3969/j.issn.1000-3428.2013.04.010