Дата присуждения | 9 июл. 2020 |
---|---|
Язык оригинала | Английский |
Учреждение |
|
Руководитель | Михаил Владимирович Волков (Научный руководитель) |
Synchronization of partial and non-deterministic automata: a sat-based approach: dissertation for the degree of candidate of physical and mathematical sciences : 05.13.17
Диссертация студента: Кандидатская диссертация