Web ИРБИС

Базы данных

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

Вид поиска

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

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : Ар11-20607
Автор(ы) : Батуева Ц.Ч.
Заглавие : Применение алгебраических методов к решению некоторых вопросов сложности комбинаторной теории слов и частично упорядоченных множеств : автореф. дис. ... канд. физ.-мат. наук : 01.01.09
Выходные данные : Новосибирск, 2011
Колич.характеристики :23 с.
Примечания : Библиогр.: с. 17-23 (57 назв.)
ГРНТИ : 27.17.21 + 16.31.31
УДК : 512.562(043) + 81'32(043)
Ключевые слова (''Своб.индексиров.''): формальные языки--частично упорядоченные множества--комбинаторика--алгебраические методы--теория моделей
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : Ар12-13273
Автор(ы) : Алексеева А.Г.
Заглавие : Применение итераций конечных языков в алгоритмических задачах теории формальных языков : автореф. дис. ... канд. физ.-мат. наук : 05.13.18
Выходные данные : Тольятти, 2012
Колич.характеристики :22 с.
Примечания : Библиогр.: с. 21-22 (11 назв.)
ГРНТИ : 16.31.31
УДК : 81'32(043)
Ключевые слова (''Своб.индексиров.''): формальные языки--теория--контекстно-свободные языки--проблема эквивалентности
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие

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

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

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