База данных: Электронный Каталог
Беті 1, Нәтижелерін: 1
Отмеченные записи: 0
1.
Подробнее
Теория рекурсии = В 4-х частях : пер. с англ. Ч. 3 / Под ред. Дж.Барвайса. - М. : Наука, 1982. - 360 с. - Б. ц.
Рубрики: Математика
Кл.слова (ненормированные):
Элементы теории рекурсии -- Рекурсия в высших типах -- Теория индуктивных определений -- Алгоритмические проблемы в теории полей
Теория рекурсии = В 4-х частях : пер. с англ. Ч. 3 / Под ред. Дж.Барвайса. - М. : Наука, 1982. - 360 с. - Б. ц.
Рубрики: Математика
Кл.слова (ненормированные):
Элементы теории рекурсии -- Рекурсия в высших типах -- Теория индуктивных определений -- Алгоритмические проблемы в теории полей
Беті 1, Нәтижелерін: 1