Types for proofs and programs : International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002 : selected papers / Herman Geuvers, Freek Wiedijk (eds.)
(Lecture notes in computer science ; 2646)
データ種別 | 図書 |
---|---|
出版者 | Berlin ; Tokyo : Springer-Verlag |
出版年 | c2003 |
形態 | viii, 330 p. : ill. ; 24 cm |
別書名 | 背表紙タイトル:Types for proofs and programs : TYPES 2002 表紙タイトル:Types for proofs and programs : International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 2002 : selected papers |
著者標目 | TYPES (2nd : 2002 : Berg en Dal, The Netherlands) Geuvers, Herman Wiedijk, Freek |
分 類 | NDC:549.92 |
書誌ID | LT00664705 |
所蔵情報を非表示
状 態 | 巻 次 | 所 在 | 請求記号 | 資料番号 | ISBN | 刷 年 | コメント | 利用注記 | 予約・取寄 | お薦めの本 | 自動書庫 | 付録注記 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
|
中央自動書庫 | 549.92/L49-1/2646 | 0113109600100 | 9783540140313 |
|
|
|
|
|
書誌詳細を非表示
本文言語 | 英語 |
---|---|
一般注記 | "These proceedings contain a referred selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EU IST project 29001), which was held April 24-28, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands."--Pref. Includes bibliographical references and index |
巻冊次 | ISBN:354014031X |
目次/あらすじ