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

著者

• Symposium on Logic in Computer Science
• IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
• Association for Symbolic Logic
• European Association for Theoretical Computer Science
• Fields Institute for Research in Mathematical Sciences
• Le Centre de Recherches Mathématiques (CRM)
• University of Ottawa

書誌事項

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

IEEE Computer Society, c2003

タイトル別名

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

LICS 2003

注記

IEEE Computer Society Order Number: PR01884

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA62528388
• ISBN:
  • 0769518842
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Los Alamitos, Calif. ; Tokyo
• ページ数/冊数: xiv, 393 p.
• 大きさ: 28 cm