Web ИРБИС

Базы данных

- результаты поиска

Вид поиска

Российский сводный каталог по научно-технической литературе

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=теория сложности<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

Ар12-12368

Поцелуевская, Е. А.
Алгоритмы поиска решения задачи об F-выполнимости, основанные на приближении булевых функций к классам Шефера [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Е. А. Поцелуевская. - М., 2012. - 17 с. - Библиогр.: с. 17 (5 назв.)
В надзаг.: МГУ им. М.В. Ломоносова

ГРНТИ	27.17.21
УДК	512.563(043)

Кл.слова (ненормированные):
теория графов -- теория вероятностей -- теория сложности

Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие

Ар12-31596

Снятков, А. С.
Разрешимость теорий иерархий согласованных со сложением функций [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / А. С. Снятков. - Ярославль, 2012. - 16 с. - Библиогр.: с. 15-16 (5 назв.). - 100 экз.

ГРНТИ	27.03.19
УДК	510(043)

Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- теория сложности

Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие

Ар15-702

Соколов, Д. О.
Сложность решения задачи выполнимости булевых формул алгоритмами, основанными на расщеплении [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06, 01.01.09 / Д. О. Соколов. - СПб., 2014. - 17 с. - Библиогр.: с. 16-17 (6 назв.). - 100 экз.

ГРНТИ	27.03.17
УДК	510.52(043)

Кл.слова (ненормированные):
теория сложности -- рекурсивные алгоритмы -- функция голдрейха

Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие

Тематический навигатор

Статистика обращений

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)