平成7年度 委託研究ソフトウェアの最終成果報告書

(19) ゴールに依存した抽象化を用いた法的推論の研究

研究代表者: 原口 誠 教授
       北海道大学 工学部




www-admin@icot.or.jp