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