数学归纳法自动推证研究
수학귀납법자동추증연구
Automatic Proving of Mathematic Induction
저자의 최근 논문