図書

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

Icons representing 図書

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

Call No. (NDL)
Y151-H04650320
Bibliographic ID of National Diet Library
000006988067
Material type
図書
Author
原尾, 政輝, 九州工業大学
Publisher
-
Publication date
1992-1993
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

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

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
Title Transcription
カタ リロン ニ モトヅク コウカイ スイロン キコウ ノ ケイシキカ ト ソノ ルイスイ ショリ ヘ ノ オウヨウ
Author/Editor
原尾, 政輝, 九州工業大学
Author Heading
原尾, 政輝 ハラオ, マサテル
Publication Date
1992-1993
Publication Date (W3CDTF)
1992
Extent
Additional Title
研究種目 一般研究(C)
Subject Heading
型理論 カタリロン
知識表現 チシキヒヨウゲン
推論機構 スイロンキコウ
知能ソフトウエア チノウソフトウエア
類推システム ルイスイシステム
高階プログラム言語 コウカイプログラムゲンゴ
定理証明 テイリシヨウメイ
論理プログラム ロンリプログラム