図書

型理論に基づく高階推論機構の形式化とその類推処理への応用

図書を表すアイコン

型理論に基づく高階推論機構の形式化とその類推処理への応用

国立国会図書館請求記号
Y151-H04650320
国立国会図書館書誌ID
000006988067
資料種別
図書
著者
原尾, 政輝, 九州工業大学
出版者
-
出版年
1992-1993
資料形態
ページ数・大きさ等
-
NDC
-
すべて見る

資料に関する注記

一般注記:

文部省科学研究費補助金研究成果報告書

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
タイトルよみ
カタ リロン ニ モトヅク コウカイ スイロン キコウ ノ ケイシキカ ト ソノ ルイスイ ショリ ヘ ノ オウヨウ
著者・編者
原尾, 政輝, 九州工業大学
著者標目
原尾, 政輝 ハラオ, マサテル
出版年月日等
1992-1993
出版年(W3CDTF)
1992
数量
その他のタイトル
研究種目 一般研究(C)
件名標目
型理論 カタリロン
知識表現 チシキヒヨウゲン
推論機構 スイロンキコウ
知能ソフトウエア チノウソフトウエア
類推システム ルイスイシステム
高階プログラム言語 コウカイプログラムゲンゴ
定理証明 テイリシヨウメイ
論理プログラム ロンリプログラム