基于六元格值命题逻辑的语言真值归结方法
기우륙원격치명제라집적어언진치귀결방법
Linguistic Truth-Valued Resolution Method Based on Six-Element Lattice-Valued Propositional Logic
저자의 최근 논문