廣川, 左千男, 九州大学1995-1997<Y151-H07680364>
国立国会図書館
山本, 章博, 北海道大学2000-2002<Y151-H12680364>
国立国会図書館
- 件名定理自動証明 証明補完 連結証明 仮説発見 残余仮説 帰納学習 アブダクシヨン 適切さの論理
米崎, 直樹, 東京工業大学1995-1997<Y151-H07680341>
国立国会図書館
- 件名実時間ソフトウエア 仕様記述 検証方式 時間論理 実時間論理 線形論理 適切さの論理
廣川, 佐千男, 九州大学1993-1994<Y151-H05680276>
国立国会図書館
- 件名構成的論理 ラムダ計算 型理論 直観主義論理 適切さの論理 curry-Haward 型としての論理式 古典論理