Дойников, Илья Дмитриевич. Модели пользовательского интерфейса систем автоматической проверки решений задач на преобразование формул: выпускная квалификационная работа бакалавра: направление 01.03.02 «Прикладная математика и информатика» ; образовательная программа 01.03.02_02 «Системное программирование» = User Interface Models of systems for automatic verification of solutions for formula conversion. / И. Д. Дойников; Санкт-Петербургский политехнический университет Петра Великого, Физико-механический институт; научный руководитель Ф. А. Новиков; консультант В. И. Кацман. — Санкт-Петербург, 2022. — 1 файл (10,6 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2022/vr/vr22-2807.pdf>. — DOI 10.18720/SPBPU/3/2022/vr/vr22-2807. — Текст