Алексеев, Николай Николаевич. Реализация алгоритмов унификации Робинсона и Патерсона-Вегмана на языке Java: выпускная квалификационная работа магистра: направление 02.04.02 «Фундаментальная информатика и информационные технологии» ; образовательная программа 02.04.02_02 «Проектирование сложных информационных систем» = Implementation of the Robinson and Paterson–Wegman unification algorithms in Java / Н. Н. Алексеев; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и кибербезопасности; научный руководитель А. С. Герасимов. — Санкт-Петербург, 2024. — 1 файл (0,5 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2024/vr/vr24-5642.pdf>. — DOI 10.18720/SPBPU/3/2024/vr/vr24-5642. — Текст: электронный
| Период | Чтение | Печать | Копирование | Открытие | Итого | ||
|---|---|---|---|---|---|---|---|
| Всего | 0 | 0 | 0 | 0 | 0 | ||