Расширенный поиск
Найдены 2 записи.
№ | Автор ▼ | Заглавие | Данные | Действия |
---|---|---|---|---|
1. | Соколов, Дмитрий Олегович | Сложность решения задачи выполнимости булевых формул алгоритмами, основанными на расщеплении : диссертация ... кандидата физико-математических наук : 01.01.06, 01.01.09 / Соколов Дмитрий Олегович; [Место защиты: Мат. ин-т им. В.А. Стеклова РАН] Количество страниц: 88 с. 61 15-1/387 Электронный ресурс |
Санкт-Петербург, 2014 |
описание
загрузить в подборку |
2. | Соколов, Дмитрий Олегович | Сложность решения задачи выполнимости булевых формул алгоритмами, основанными на расщеплении : автореферат дис. ... кандидата физико-математических наук : 01.01.06, 01.01.09 / Соколов Дмитрий Олегович; [Место защиты: Мат. ин-т им. В.А. Стеклова РАН] Количество страниц: 17 с. 9 15-1/502 Электронный ресурс |
Санкт-Петербург, 2014 |
описание
загрузить в подборку |