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

著者

• 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

書誌事項

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

IEEE Computer Society, c2008

タイトル別名

Twenty-third Annual IEEE Symposium on Logic in Computer Science : (LICS 2008) : Pittsburgh, Pennsylvania, 24-27 June 2008

注記

IEEE Computer Society Order Number: P3183

Includes bibliographical references and author index

詳細情報

• NII書誌ID(NCID): BA87256630
• ISBN:
  • 9780769531830
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Los Alamitos, Calif. ; Tokyo
• ページ数/冊数: xiv, 512 p.
• 大きさ: 28 cm
• 件名:
  • LCSH : Computer science -- Mathematics -- Congresses
  • LCSH : Logic, Symbolic and mathematical -- Congresses