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