Алексеев Ярослав Юрьевич
| ФИО выпускника | Алексеев Ярослав Юрьевич |
|---|---|
| Направление подготовки (специальность) | 01.04.01 Математика |
| Квалификация | Магистр |
| Наименование ВКР | Нижние оценки для алгебраических систем доказательств |
| Статус | Опубликована |
| ФИО научного руководителя | доктор физико-математических наук, доцент Э.А.Гирш |
| Год | 2022 |