図書

関数型言語の解析・検証・効率的実行のための書換え系理論の研究

図書を表すアイコン

関数型言語の解析・検証・効率的実行のための書換え系理論の研究

国立国会図書館請求記号
Y151-H15500007
国立国会図書館書誌ID
000008382814
資料種別
図書
著者
酒井正彦, 名古屋大学 [著]
出版者
[酒井正彦]
出版年
2003-2005
資料形態
ページ数・大きさ等
5, 105p
NDC
-
すべて見る

資料に関する注記

一般注記:

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

書店で探す

書誌情報

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

資料種別
図書
タイトルよみ
カンスウガタ ゲンゴ ノ カイセキ ケンショウ コウリツテキ ジッコウ ノ タメ ノ カキカエケイ リロン ノ ケンキュウ
著者・編者
酒井正彦, 名古屋大学 [著]
著者標目
酒井, 正彦 サカイ, マサヒコ
名古屋大学 ナゴヤ ダイガク
出版事項
出版年月日等
2003-2005
2006.4
出版年(W3CDTF)
2003
2005
数量
5, 105p
その他のタイトル
研究種目 基盤研究(C)