Computer science logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings / Matthias Baaz, Johann A. Makowsky (eds.)
(Lecture notes in computer science ; 2803)
データ種別 | 図書 |
---|---|
出版者 | Berlin ; Tokyo : Springer-Verlag |
出版年 | c2003 |
形態 | xii, 590 p. : ill. ; 24 cm |
別書名 | 背表紙タイトル:Computer science logic : CSL 2003 表紙タイトル:Computer science logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 2003, proceedings |
著者標目 | Workshop on Computer Science Logic (CSL) (17th : 2003 : Vienna University of Technology, Vienna, Austria) European Association for Computer Science Logic (EACSL) (12th : 2003 : Vienna University of Technology, Vienna, Austria) Kurt Gödel Colloquium (KGC) (8th : 2003 : Vienna University of Technology, Vienna, Austria) Baaz, Matthias Makowsky, Johann A., 1948- |
件 名 | LCSH:Computer logic -- Congresses 全ての件名で検索 |
分 類 | NDC:549.92 |
書誌ID | LT00673698 |
所蔵情報を非表示
状 態 | 巻 次 | 所 在 | 請求記号 | 資料番号 | ISBN | 刷 年 | コメント | 利用注記 | 予約・取寄 | お薦めの本 | 自動書庫 | 付録注記 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
|
理学部分室開架 | 549.92/L49-1/2803 | 0113129470100 | 9783540408017 |
|
|
|
|
|
書誌詳細を非表示
本文言語 | 英語 |
---|---|
一般注記 | "The annual conference of the European Association for Computer Science Logic, CSL 2003, was held jointly with the 8th Kurt Gödel Colloquium, 8.KGC, at the Vienna University of Technology on 25-30 August 2003. The conference series CSL started as a program of international workshops on Computer Science Logic, and then in its sixth meeting became the annual conference of the EACSL. This conference was the 17th meeting and 12th EACSL conference."--Pref. Includes bibliographical references and index |
NCID | BA63504374 |
巻冊次 | ISBN:3540408010 |
目次/あらすじ