R-等价类相关硕士博士期刊学术论文

知识状态可用可达阵足的列的布尔并表示，但表示方式不唯一，由此引出累赘表达式和简洁表达式的概念及其作用，并将某些结果推广到多值Q......