Web ИРБИС

Базы данных

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

Вид поиска

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

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

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

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

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

Ар11-22970

Гирш, Э. А.
Сложность пропозициональной логики [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / Э. А. Гирш. - СПб., 2011. - 31 с. - Библиогр.: с. 29-31 (19 назв.)

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

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

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

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

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

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