2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025), Singapore, 23-26 June 2025

著者

• Symposium on Logic in Computer Science

書誌事項

2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025), Singapore, 23-26 June 2025

, , c2025

• 2/2

タイトル別名

Proccedings : 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, 23-26 June 2025, Singapore

注記

Content Type: text (ncrcontent), Media Type: unmediated (ncrmedia), Carrier Type: volume (ncrcarrier)

IEEE catalog number: CFP25039-POD

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BD18000571
• ISBN:
  • 9798331579012
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Piscataway, NJ : IEEE , [2025]
• ページ数/冊数: xvii, pages 472-940
• 大きさ: 28 cm
• 分類:
  • DC23 : 004.0151
• 件名:
  • LCSH : Logic, Symbolic and mathematical -- Congresses
  • LCSH : Computer science -- Congresses