形式化描述方法在地理信息系统中应用综述
형식화묘술방법재지리신식계통중응용종술
Application of formal descriptionto geographic Information System
저자의 최근 논문