Web ИРБИС

Базы данных

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

Вид поиска

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

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

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

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

Поисковый запрос: (<.>K=вычислимые модели<.>)

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

Ар13-4305

Леонтьева, М. Н.
Сильная конструктивизируемость булевых алгебр [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / М. Н. Леонтьева. - Новосибирск, 2013. - 15 с. - Библиогр.: с. 12-15

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

Кл.слова (ненормированные):
конструктивные модели -- вычислимые модели -- дистрибутивные решетки

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

Ар14-11886

Баженов, Н. А.
Уровни автоустойчивости булевых алгебр [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Н. А. Баженов. - Новосибирск, 2014. - 25 с. - Библиогр.: с. 17-25 (81 назв.). - 100 экз.

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

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

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

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

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

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