Ибрагимов Артем Рустамович
| ФИО выпускника | Ибрагимов Артем Рустамович |
|---|---|
| Направление подготовки (специальность) | 01.03.02 Прикладная математика и информатика |
| Квалификация | Бакалавр |
| Наименование ВКР | Эффективная проверка эквивалентности типов-пересечений |
| Статус | Опубликована |
| ФИО научного руководителя | кандидат физико-математических наук, доцент Д.Н.Москвин |
| Год | 2024 |