Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science

Bibliographic Details
Other Authors: Hermanns, Holger, author (author)
Format: eBook
Language:Inglés
Published: New York, NY : Association for Computing Machinery 2020.
Series:ACM Conferences
Subjects:
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714597906719
Description
Physical Description:1 online resource (986 pages)