用计算机推理的方法求解数字填图问题
용계산궤추리적방법구해수자전도문제
Solving Filling Figure Problems with Computer Deduction
저자의 최근 논문