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

Базы данных

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

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

Вид поиска

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


   
    Структурные алгоритмические свойства вычислимости : сб. науч. тр. / Рос. акад. наук. Сиб. отд-ние. Ин-т математики им. С.Л. Соболева; Науч. ред.: Ершов Ю.Л., Гончаров С.С. - Новосибирск : [б. и.], 1996. - 152 с. - (Вычислительные системы, ISSN 0568-661X ; 156). - Библиогр. в конце ст. -
ББК В127я43
Рубрики: Вычислимость в математической логике
   Вычислимых нумераций теория

Дескрипторы: сб пр -- сб


Доп.точки доступа:
Ершов, Ю.Л. \ред.\; Гончаров, С.С. \ред.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 28-19-97но
Найти похожие

 
© 1997-2017 Отделение ГПНТБ СО РАН