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

 

QR code of document

Ratings: 0

517 И 889

    Исследования по теории алгорифмов и математической логике : сборник работ / Академия наук СССР, Вычислительный центр ; под ред. : А. А. Маркова, Н. В. Петри. - Москва : Изд-во Вычислительного центра АН СССР, 1973 - .
   т. 1 / Академия наук СССР, Вычислительный центр. - 287 c. - Библиогр. : с. 286.

УДК
517

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

Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)

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