平面几何领域数量词结构形式化处理研究
평면궤하영역수량사결구형식화처리연구
Research on formalization processing for quantifier structure in plane geometry domain
저자의 최근 논문