Исследования по теории алгорифмов и математической логике

 

QR code of document

Ratings: 0

517 И 889

    Исследования по теории алгорифмов и математической логике : [сборник] / Академия наук СССР, Вычислительный центр ; Академия наук СССР, Вычислительный центр ; [отв. ред. : А. А. Марков, В. И. Хомич]. - Москва : Наука, 1979. - 131 c. - Библиогр. в конце ст.

УДК
517.11
518.5

Кл.слова (ненормированные):
логика математическая -- теория алгорифмов -- математика -- логики многозначные -- теории формальные -- семантика конструктивная -- теория сложности алгорифмов
Доп.точки доступа:
Марков, А. А. \ред.\
Хомич, В. И. \ред.\
Академия наук СССР. Вычислительный центр

Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)

Авторизуйтесь для получения дополнительных услуг