データフロー言語に基づく論理型言語と関数型言語の統合化

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: 1990-1991
Publication Date (W3CDTF): 1990
Extent: 冊
Additional Title: 研究種目一般研究(C)
Subject Heading: 論理型言語ロンリガタゲンゴ
関数型言語カンスウガタゲンゴ
データフローデータフロー
意味論イミロン
代数的操作ダイスウテキソウサ
導出演繹ドウシユツエンエキ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 02680028
Holding library: 国立国会図書館
Call No.: Y151-H02680028
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006980753
http://id.ndl.go.jp/bib/000006980753
Bibliographic Record Category (NDL): 214