Jump to main content

yr 〜
yr

Search results 4

構成的論理の推論構造の研究

構成的論理の推論構造の研究
Paper図書
廣川, 左千男, 九州大学1995-1997<Y151-H07680364>
National Diet Library
  • Subject Headingラムダ計算 型理論 適切さの論理 古典論理

証明補完技法に基く仮説発見システムの構成

証明補完技法に基く仮説発見システムの構成
Paper図書
山本, 章博, 北海道大学2000-2002<Y151-H12680364>
National Diet Library
  • Subject Heading定理自動証明 証明補完 連結証明 仮説発見 残余仮説 帰納学習 アブダクシヨン 適切さの論理

実時間ソフトウエアの仕様記述とその検証方式の研究

実時間ソフトウエアの仕様記述とその検証方式の研究
Paper図書
米崎, 直樹, 東京工業大学1995-1997<Y151-H07680341>
National Diet Library
  • Subject Heading実時間ソフトウエア 仕様記述 検証方式 時間論理 実時間論理 線形論理 適切さの論理

構成的論理の推論構造の研究

構成的論理の推論構造の研究
Paper図書
廣川, 佐千男, 九州大学1993-1994<Y151-H05680276>
National Diet Library
  • Subject Heading構成的論理 ラムダ計算 型理論 直観主義論理 適切さの論理 curry-Haward 型としての論理式 古典論理

Reached to the end of result.

RSS