Proceedings : 25th Annual IEEE Symposium on Logic in Computer Science : LICS 2010 : 11-14 July 2010 Edinburgh, United Kingdom

著者

• 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 : 25th Annual IEEE Symposium on Logic in Computer Science : LICS 2010 : 11-14 July 2010 Edinburgh, United Kingdom

supported by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic and the European Association for Theoretical Computer Science

IEEE Computer Society, c2010

タイトル別名

2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) : Edinburgh, United Kingdom 11-14 July 2010

注記

IEEE catalog number: CFP10039-PRT

Includes bibliographical references and index

詳細情報

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