図書

宣言型プログラミング言語処理系の系統的生成

Icons representing 図書

宣言型プログラミング言語処理系の系統的生成

Call No. (NDL)
Y151-H03680022
Bibliographic ID of National Diet Library
000006984889
Material type
図書
Author
井田, 哲雄, 筑波大学
Publisher
-
Publication date
1991-1992
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
井田, 哲雄, 1947- イダ, テツオ, 1947- ( 00190628 )Authorities
Publication Date
1991-1992
Publication Date (W3CDTF)
1991
Extent
Additional Title
研究種目 一般研究(C)
Subject Heading
関数型プログラミング カンスウガタプログラミング
論理的プログラミング ロンリテキプログラミング
関数・論理型プログラミングの融合 カンスウ・ロンリガタプログラミングノユウゴウ
ナローイング ナローイング
プログラム変換 プログラムヘンカン
Lisp LISP
Prolog PROLOG