Сложность решения задачи выполнимости булевых формул алгоритмами, основанными на расщеплении: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальности 01.01.06 Математическая логика, алгебра и теория чисел, 01.01.09 Дискретная математика и математическая кибернетика / Соколов Дмитрий Олегович

Сохранено в:
Шифр документа: 2//187458(039),
Вид документа: Авторефераты диссертаций
Автор: Соколов, Д. О.
Опубликовано: Санкт-Петербург , 2014
Физические характеристики: 17 с.
Язык: Русский
Предмет:

ОФХ отдела книгохранения

Всего : 1 , доступно: 1 Доступно  Заказать

Информация об экземплярах

Шифр Фонд Место нахождения Статус экземпляра Читальный зал
2//187458(039) ОФХ отдела книгохранения (039) 11:4:3:92 СВОБОДЕН Рекомендованный ЧитЗал