Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
Auteur : Christel Baier
Date de publication : 2022
Éditeur : Association for Computing Machinery
Nombre de pages : 817
Résumé du livre
Aucun résumé disponible pour ce livre.