Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>S=Множества, рекурсивно перечислимые<.>)
Общее количество найденных документов : 1
1.
   В12
   Д261
В12 / Д261-02

    Дегтев, Александр Николаевич.
    Рекурсивно перечислимые множества и сводимости табличного типа [Текст] / А. Н. Дегтев. - М. : НАУКА, 1998. - 176 с.
Библиогр.: с. 170-174. - Предм. указ.: с. 175-176
27.03.17
ББК В127.1
Рубрики: Рекурсивные функции
   Множества, рекурсивно перечислимые
   Сводимость, алгоритмическая, табличная
Дескрипторы: моногр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 20-9-99но
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН