Дедов, Алексей Александрович. Сравнительное исследование эффективности стратегий оптимизации метода резолюций c применением полиномиальной унификации Робинсона: выпускная квалификационная работа магистра: направление 02.04.03 «Математическое обеспечение и администрирование информационных систем» ; образовательная программа 02.04.03_01 «Математическое обеспечение и администрирование корпоративных информационных систем» = Comparative study of the efficiency of optimization resolution strategies using Robinson's polynomial unification / А. А. Дедов; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий; научный руководитель В. Г. Пак; консультант по нормоконтролю В. А. Пархоменко. — Санкт-Петербург, 2021. — 1 файл (1,6 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2021/vr/vr21-1293.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-1293-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-1293-r.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-1293-a.pdf>. — DOI 10.18720/SPBPU/3/2021/vr/vr21-1293. — Текст
Период
|
Чтение
|
Печать
|
Копирование
|
Открытие
|
Итого
|
Вчера
|
0
|
0
|
0
|
0
|
0
|
Последние 30 дней
|
0
|
0
|
0
|
0
|
0
|
Последние 365 дней
|
0
|
0
|
0
|
0
|
0
|
За все время
|
2
|
0
|
6
|
0
|
8
|