Luk命题演算系统的析取范式逻辑不等式组的解法
Luk명제연산계통적석취범식라집불등식조적해법
SOLUTION METHOD OF LOGICAL INEQUALITY GROUPS OF DISJUNCTIVE NORMAL FORM IN LUK PROPOSITIONAL CALCULUS SYSTEM
저자의 최근 논문