平成７年度 最終成果報告書
概 要
提 案
中間報告
最終報告
成果ソフトウェア
平成８年度(継続)
「ゴールに依存した抽象化を用いた法的推論の研究」
研究代表者： 原口 誠 教授
北海道大学 工学部
成果概要
成果報告書(415K)
ホームページに戻る
www-admin@icot.or.jp
