本文に飛ぶ

図書

MERλIN '05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia pbk.

図書を表すアイコン

MERλIN '05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia pbk.

資料種別
図書
著者
A. Momigliano & R. Pollack, editors ; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版者
Association for Computing Machinery
出版年
c2005
資料形態
紙
ページ数・大きさ等
28 cm
NDC
-
すべて見る

資料に関する注記

一般注記：

"... held in association with the 10th ACM SIGPLAN International Conference on Functional Programming (ICFP 2005), on August 30th, 2005 in Tallinn, Es...

書店で探す

書店で探す

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

連携機関・データベースの一覧

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

  • CiNii Research

    検索サービス
    紙
    連携先のサイトで、CiNii Researchが連携している機関・データベースの所蔵状況を確認できます。
    この本の所蔵を確認

書店で探す

書誌情報

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

紙

資料種別
図書
ISBN
1595930728
タイトル
MERλIN '05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia
巻次・部編番号
pbk.
著者・編者
A. Momigliano & R. Pollack, editors ; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
著者標目
ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
Momigliano, Alberto
Pollack, R. (Randy)
ACM Special Interest Group on Programming Languages
ACM SIGPLAN International Conference on Functional Programming
出版事項
Association for Computing Machinery
出版年月日等
c2005
出版年（W3CDTF）
2005
大きさ
28 cm