Proceedings : 2015 30th annual ACM/IEEE symposium on Logic in Computer Science, LICS 2015, 6-10 July 2015, Kyoto, Japan

著者

• Symposium on Logic in Computer Science

書誌事項

Proceedings : 2015 30th annual ACM/IEEE symposium on Logic in Computer Science, LICS 2015, 6-10 July 2015, Kyoto, Japan

IEEE Computer Society, c2015

タイトル別名

2015 30th annual ACM/IEEE symposium on Logic in Computer Science (LICS 2015), Kyoto, Japan, 6-10 July 2015

注記

IEEE catalog number: CFP15039-POD

Includes bibliographical references and index

詳細情報

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