Пр31 Пр31/156 Пр31/156 / Пр31/156-02 Структурные алгоритмические свойства вычислимости : сб. науч. тр. / Рос. акад. наук. Сиб. отд-ние. Ин-т математики им. С.Л. Соболева; Науч. ред.: Ершов Ю.Л., Гончаров С.С. - Новосибирск : [б. и.], 1996. - 152 с. - (Вычислительные системы, ISSN 0568-661X ; 156). - Библиогр. в конце ст. - Рубрики: Вычислимость в математической логике Вычислимых нумераций теория Дескрипторы: сб пр -- сб Доп.точки доступа: Ершов, Ю.Л. \ред.\; Гончаров, С.С. \ред.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |