Главная страница

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=вычислимые структуры<.>)
Общее количество найденных документов : 1
1.
Ар14-6637

    Фролов, А. Н.
    Счетные линейные порядки и их алгоритмическая сложность [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / А. Н. Фролов. - Казань, 2014. - 32 с. - Библиогр.: с. 24-32 (75 назв.). - 150 экз.

ГРНТИ
УДК

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

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

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