정형논리를 이용한 모델링 및 분석

  • 발행 : 2007.11.30