Шляга, Вячеслав Владимирович. Исследование эффективности комбинирования алгоритмов унификации со стратегиями оптимизации метода резолюций: выпускная квалификационная работа бакалавра: направление 02.03.03 «Математическое обеспечение и администрирование информационных систем» ; образовательная программа 02.03.03_01 «Интеллектуальные информационные системы и обработка данных» = Research of the efficiency of combining unification algorithms and resolution method’s optimization strategies / В. В. Шляга; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий; научный руководитель В. Г. Пак. — Санкт-Петербург, 2022. — 1 файл (1,1 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2022/vr/vr22-3052.pdf>. — DOI 10.18720/SPBPU/3/2022/vr/vr22-3052. — Текст
Period
|
Read
|
Print
|
Copy
|
Open
|
Total
|
Yesterday
|
0
|
0
|
0
|
0
|
0
|
Last 30 days
|
0
|
0
|
0
|
0
|
0
|
Last 365 days
|
0
|
0
|
1
|
0
|
1
|
All time
|
1
|
0
|
1
|
0
|
2
|