Национальная библиотека Республики Дагестан им. Р. Гамзатова

Главная

Упрощенный режим

Описание

Базы данных

Каталог Национальной Библиотеки Республики Дагестан- результаты поиска

Вид поиска

Каталог Национальной Библиотеки Республики Дагестан

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

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

Поисковый запрос: <.>K=ЧАСТИЧНО-РЕКУРСИВНЫЕ ФУНКЦИИ<.>

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

6П2.154
Б 24

Барашко, Анатолий Сергеевич.
Исследование по теории сложности вычислений и формальным языкам [Текст] / А. С. Барашко, В. А. Липская, С. И. Ройзен ; [отв. ред. В. Н. Редько] ; Акад. наук Укр. ССР, Ин-т прикл. математики и механики. - Киев : Наукова думка, 1978. - 176 с. : ил. ; 21.5см. - Библиография: с. 171-172. - 1850 экз.. - (в пер.) : 1.40 р.

УДК

6П2.154

Рубрики: Автоматизация--Вычислительные устройства
Кл.слова (ненормированные):
СЛОЖНОСТИ ВЫЧИСЛЕНИЙ -- ЧАСТИЧНО-РЕКУРСИВНЫЕ ФУНКЦИИ -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- ЯДРО -- МНОЖЕСТВА

Доп.точки доступа:
Липская, Виктория Алексеевна; Ройзен, Семен Иосифович; Редько, В. Н. \ред.\; Институт прикладной математики и механики (Донецк)
~Экземпляры всего: 1
ТО (1)
Свободны: ТО (1)
Найти похожие

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

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