基于数学归纳法抽取循环程序研究
기우수학귀납법추취순배정서연구
The Study on Extraction Loop program Based on Mathematical Induction
저자의 최근 논문