Skip to content 
el cat en
База данных: Electronic catalog FEFU
Page 1, Results: 1
Отмеченные записи: 0
1.
Подробнее
Исследования по теории алгорифмов и математической логике : [сборник] / Академия наук СССР, Вычислительный центр ; Академия наук СССР, Вычислительный центр ; [отв. ред. : А. А. Марков, В. И. Хомич]. - Москва : Наука, 1979. - 131 c. - Библиогр. в конце ст.
Кл.слова (ненормированные):
логика математическая -- теория алгорифмов -- математика -- логики многозначные -- теории формальные -- семантика конструктивная -- теория сложности алгорифмов
Доп.точки доступа:
Марков, А. А. \ред.\
Хомич, В. И. \ред.\
Академия наук СССР. Вычислительный центр
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Исследования по теории алгорифмов и математической логике : [сборник] / Академия наук СССР, Вычислительный центр ; Академия наук СССР, Вычислительный центр ; [отв. ред. : А. А. Марков, В. И. Хомич]. - Москва : Наука, 1979. - 131 c. - Библиогр. в конце ст.
| УДК |
Кл.слова (ненормированные):
логика математическая -- теория алгорифмов -- математика -- логики многозначные -- теории формальные -- семантика конструктивная -- теория сложности алгорифмов
Доп.точки доступа:
Марков, А. А. \ред.\
Хомич, В. И. \ред.\
Академия наук СССР. Вычислительный центр
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Page 1, Results: 1