Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science / Edited by Christel Baier
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: ACM Conferences | ACM Digital LibraryVerlag: New York,NY,United States : Association for Computing Machinery, 2022Beschreibung: 1 online resource (817 pages)ISBN:- 9781450393515
- LICS '22
Dieser Titel hat keine Exemplare