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

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

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