知的情報処理における推論機構の研究

Notes on use

Search by Bookstore

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

Material Type: 図書
Title: 知的情報処理における推論機構の研究
Title Transcription: チテキジョウホウショリニオケルスイロンキコウノケンキュウ
Author/Editor: 高須, 達, 京都大学
Author Heading: 高須, 達タカス, サトル
Publication Date: 1985-1987
Publication Date (W3CDTF): 1985
Extent: 冊
Subject Heading: プログラム合成プログラムゴウセイ
直観主義述語論理チヨツカンシユギジユツゴロンリ
型論理カタロンリ
LISP LISP
プログラムの一般化プログラムノイツパンカ
マルチウインドウシステムマルチウインドウシステム
関数型言語カンスウガタゲンゴ
定理の証明テイリノシヨウメイ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 60580024
Holding library: 国立国会図書館
Call No.: Y151-S60580024
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007025712
http://id.ndl.go.jp/bib/000007025712
Bibliographic Record Category (NDL): 214