系统L中τ(A→X)≥α型逻辑不等式的解问题

系统L中τ(A→X)≥α型逻辑不等式的解问题

王廷明

Solution for logic inequality of τ(A→X)≥α type in system L

WANG Tingming

计算机工程与应用 . 2012, (16): 44 -46 .