Electronic Documents Search
Documents found: 1
-
Creators Алексеев Николай Николаевич Scientific adviser Герасимов Александр Сергеевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects унификация; алгоритм Патерсона–Вегмана; алгоритм Робинсона; unification; Paterson–Wegman algorithm; Robinson algorithm Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 02.04.02 Speciality group (FGOS) 020000 - Компьютерные и информационные науки DOI 10.18720/SPBPU/3/2024/vr/vr24-5642 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.5 Mb