Ящук, Ксения Викторовна. Сравнительное исследование эффективности стратегий оптимизации метода резолюций [Электронный ресурс]: выпускная квалификационная работа магистра: 02.04.03 - Математическое обеспечение и администрирование информационных систем ; 02.04.03_01 - Математическое обеспечение и администрирование корпоративных информационных систем / К. В. Ящук; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий ; науч. рук. В. Г. Пак. — Электрон. текстовые дан. (1 файл : 1,30 Мб). — Санкт-Петербург, 2018. — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/v18-3761.pdf>. — <URL:http://doi.org/10.18720/SPBPU/2/v18-3761>. — <URL:http://elib.spbstu.ru/dl/2/rev/v18-3761-o.pdf>. — <URL:http://elib.spbstu.ru/dl/2/rev/v18-3761-r.pdf>.