龍谷大学図書館

Computer science logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings

Michael Kaminski, Simone Martini (eds.). -- Springer, 2008. -- (Lecture notes in computer science ; 5213). <BB21391720>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 配置場所 請求記号 資料ID コメント 状態 禁帯出区分 予約 Web書棚
0001 瀬田.新館2F開架 004/CSL/2008 30800032891 一般 0件
巻号
所蔵館 瀬田
配置場所 瀬田.新館2F開架
請求記号 004/CSL/2008
資料ID 30800032891
コメント
状態
禁帯出区分 一般
返却予定日
予約 0件
Web書棚

書誌詳細

標題および責任表示 Computer science logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings / Michael Kaminski, Simone Martini (eds.)
出版・頒布事項 Berlin : Springer , c2008
形態事項 xi, 512 p. : ill. ; 24 cm
巻号情報
ISBN 9783540875307
書誌構造リンク Lecture notes in computer science <BB10000611> 5213//a
 >>シリーズで再検索する
注記 Includes bibliographical references and index
注記 "LNCS Sublibrary: SL1 - Thoretical Computer Science"--t.p. verso
NCID BB0012376X
本文言語コード 英語
著者標目リンク *Workshop on Computer Science Logic <AU00058297> (22nd : 2008 : Bertinoro, Italy)
著者標目リンク Kaminski, Michael <>
著者標目リンク Martini, Simone <>
著者標目リンク European Association for Computer Science Logic <AU00183070>
分類標目 LCC:QA76.9.L63
分類標目 DC22:005.101/5113
件名標目等 Computer logic -- Congresses