| ГРНТИ |
Держатели документа:
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50
Экземпляры всего: 1
ЦНБ-ХР (1)
Свободны: ЦНБ-ХР (1)
Сводный каталог книг
w10=
Найдено документов в текущей БД: 2
В123
М31
М31
Теория дедуктивных систем и ее применения
[Текст] : научное издание / С.Ю. Маслов. - [Б. м.] : Радио и связьМосква, 1986. - 133 с. : ил. - (Кибернетика). - Библиогр.: с. 129-131. - 0.45 р.
ББК В123,0 + З 81в641
Держатели документа:
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50
Экземпляры всего: 1
ЦНБ-ХР (1)
Свободны: ЦНБ-ХР (1)
Держатели документа:
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50
Экземпляры всего: 1
ЦНБ-ХР (1)
Свободны: ЦНБ-ХР (1)
В127
К29
К29
Вычислимость. Введение в теорию рекурсивных функций
: Пер. с англ. / Н. Катленд ; пер. А. А. Мучник ; ред.пер. С. Ю. Маслов. - [Б. м.] : МирМосква, 1983. - 256 с. : ил. - Библиогр.: с. 252-254. - 1.00 р.
ББК В127,0
Держатели документа:
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50
Доп.точки доступа:
Мучник, А.А. \пер.\; Маслов, С.Ю. \ред.пер.\
Экземпляры всего: 1
ЦНБ-ХР (1)
Свободны: ЦНБ-ХР (1)
| ГРНТИ |
Рубрики:
Математика--Вычислимость
Математика--Вычислимость
Держатели документа:
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50
Доп.точки доступа:
Мучник, А.А. \пер.\; Маслов, С.Ю. \ред.пер.\
Экземпляры всего: 1
ЦНБ-ХР (1)
Свободны: ЦНБ-ХР (1)