复杂表达式推理在计算机自动推理系统中的研究
복잡표체식추리재계산궤자동추리계통중적연구
Research on the Expression Reasoning in Computer Automatic Reasoning Systems
저자의 최근 논문