Б 24 Барашко, Анатолий Сергеевич. Исследование по теории сложности вычислений и формальным языкам [Текст] / А. С. Барашко, В. А. Липская, С. И. Ройзен ; [отв. ред. В. Н. Редько] ; Акад. наук Укр. ССР, Ин-т прикл. математики и механики. - Киев : Наукова думка, 1978. - 176 с. : ил. ; 21.5см. - Библиография: с. 171-172. - 1850 экз.. - (в пер.) : 1.40 р.
Кл.слова (ненормированные): СЛОЖНОСТИ ВЫЧИСЛЕНИЙ -- ЧАСТИЧНО-РЕКУРСИВНЫЕ ФУНКЦИИ -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- ЯДРО -- МНОЖЕСТВА Доп.точки доступа: Липская, Виктория Алексеевна; Ройзен, Семен Иосифович; Редько, В. Н. \ред.\; Институт прикладной математики и механики (Донецк) ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |