Разуваев, Данил. Применение стратегий оптимизации метода резолюций для компьютерного решения математических задач: выпускная квалификационная работа магистра: направление 02.04.03 «Математическое обеспечение и администрирование информационных систем» ; образовательная программа 02.04.03_01 «Разработка и математическое обеспечение интеллектуальных информационных систем» = Application of optimization strategies of the resolution method to computer-aided solving of mathematical problems / Д. Разуваев; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий; научный руководитель В. Г. Пак. — Санкт-Петербург, 2023. — 1 файл (0,7 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2023/vr/vr23-3936.pdf>. — DOI 10.18720/SPBPU/3/2023/vr/vr23-3936. — Текст: электронный
| Period | Read | 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 | 0 | 0 | 2 | 0 | 2 |