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