Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020)
Auteur : Holger Hermanns
Date de publication : 2020
Éditeur : Association for Computing Machinery
Nombre de pages : 986
Résumé du livre
Aucun résumé disponible pour ce livre.