Proceedings, 18th Annual IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada

• 資料種別: 図書
• ISBN: 0769518842
• タイトル: Proceedings, 18th Annual IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada
• 著者・編者: 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 ; with support from Fields Institute for Research in Mathematical Sciences, Le Centre de Recherches Mathématiques (CRM), University of Ottawa
• 著者標目: 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; Fields Institute for Research in Mathematical Sciences; https://ci.nii.ac.jp/author/DA0814929X; Le Centre de Recherches Mathématiques (CRM); University of Ottawa; https://ci.nii.ac.jp/author/DA04142007
• 出版事項: IEEE Computer Society
• 出版年月日等: c2003
• 出版年（W3CDTF）: 2003
• 大きさ: 28 cm
• 並列タイトル等: Proceedings, eighteenth Annual IEEE Symposium on Logic in Computer Science : 22-25 June 2003, Ottawa, Canada; LICS 2003
• 出版地（国名コード）: us
• 本文の言語コード: en
• 対象利用者: 一般
• 一般注記: IEEE Computer Society Order Number: PR01884; Includes bibliographical references and index
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA62528388#entity
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA62528388 : BA62528388