図書

条件付き書換え系の宣言型プログラミングへの応用

図書を表すアイコン

条件付き書換え系の宣言型プログラミングへの応用

国立国会図書館請求記号
Y151-H06680300
国立国会図書館書誌ID
000007001232
資料種別
図書
著者
井田, 哲雄, 筑波大学
出版者
-
出版年
1994-1995
資料形態
ページ数・大きさ等
-
NDC
-
すべて見る

資料に関する注記

一般注記:

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

書店で探す

書誌情報

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

資料種別
図書
タイトルよみ
ジョウケン ツキ カキカエ ケイ ノ センゲンガタ プログラミング ヘ ノ オウヨウ
著者・編者
井田, 哲雄, 筑波大学
著者標目
井田, 哲雄, 1947- イダ, テツオ, 1947- ( 00190628 )典拠
出版年月日等
1994-1995
出版年(W3CDTF)
1994
数量
その他のタイトル
研究種目 一般研究(C)
件名標目
条件付き換え系 ジヨウケンツキカエケイ
宣言型プロクラミング センゲンガタプロクラミング
関数・論理型言語 カンスウ・ロンリガタゲンゴ
ナローイング ナローイング
階層合流性 カイソウゴウリユウセイ
モジユラー性 モジユラーセイ
プログラム意味論 プログラムイミロン