Proceedings : twenty-third Annual IEEE Symposium on Logic in Computer Science : 24-27 June 2008 Pittsburgh, Pennsylvania

• 資料種別: 図書
• ISBN: 9780769531830
• タイトル: Proceedings : twenty-third Annual IEEE Symposium on Logic in Computer Science : 24-27 June 2008 Pittsburgh, Pennsylvania
• 著者・編者: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science
• 著者標目: Symposium on Logic in Computer Science; https://ci.nii.ac.jp/author/DA01987694; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing; https://ci.nii.ac.jp/author/DA01037742; Association for Symbolic Logic; https://ci.nii.ac.jp/author/DA01977227; European Association for Theoretical Computer Science; https://ci.nii.ac.jp/author/DA00338459
• 出版事項: IEEE Computer Society
• 出版年月日等: c2008
• 出版年（W3CDTF）: 2008
• 大きさ: 28 cm
• 並列タイトル等: Twenty-third Annual IEEE Symposium on Logic in Computer Science : (LICS 2008) : Pittsburgh, Pennsylvania, 24-27 June 2008
• 出版地（国名コード）: us
• 本文の言語コード: en
• 件名標目: Computer science -- Mathematics -- Congresses; Logic, Symbolic and mathematical -- Congresses
• 対象利用者: 一般
• 一般注記: IEEE Computer Society Order Number: P3183; Includes bibliographical references and author index
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA87256630#entity
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA87256630 : BA87256630