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

Author(s)

• Symposium on Logic in Computer Science

Bibliographic Information

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

, , c2025

• 1/2

Other Title

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

Note

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

IEEE catalog number: CFP25039-POD

Includes bibliographical references and index

Details

• NCID: BD18000312
• ISBN:
  • 9798331579012
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Piscataway, NJ : IEEE , [2025]
• Pages/Volumes: xvii, 471 pages
• Size: 28 cm
• Classification:
  • DC23 : 004.0151
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical -- Congresses
  • LCSH : Computer science -- Congresses