Electronic Documents Search
Documents found: 2
-
Creators Разуваев Данил Scientific adviser Пак Вадим Геннадьевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects стратегии метода резолюций; генетические алгоритмы; управление выводом; автоматическое доказательство теорем; resolution method strategies; genetic algorithms; inference control; automated theorem proving Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 02.04.03 Speciality group (FGOS) 020000 - Компьютерные и информационные науки DOI 10.18720/SPBPU/3/2023/vr/vr23-3936 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.7 Mb -
Creators Разуваев Данил Scientific adviser Туральчук Константин Анатольевич Other creators Пархоменко Владимир Андреевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects алгоритм шинглов; нечеткие дубликаты; обнаружение плагиата; shingles algorithm; near-duplicates; plagiarism detection Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 02.03.03 Speciality group (FGOS) 020000 - Компьютерные и информационные науки Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-2361-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-2361-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-2361 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.4 Mb
