Янбулатов Денис Ринатович

Группа:

19132

Научный руководитель:

Тема работы:

Разработка и верификация графовых алгоритмов в системе предикатного программирования

Дата утверждения темы:

01.11.2022

Кафедра программирования