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

Бібліографічні деталі
Інші автори: Baier
Формат: Електронний ресурс eКнига
Мова:Англійська
Опубліковано: Association for Computing Machinery (ACM), 8/2/22
Предмети:
Онлайн доступ:Full text available on Research4Life (ACM)
Опис
Опис примірника:<strong>On-Campus Access Only (IP based access)</strong>
Фізичний опис:1 online resource
Формат:Mode of access: Internet
ISBN:9781450393515
Доступ:Electronic access restricted to authorized AUW faculty, staff and students