|
Глушков В.М. ВА470 Машины Тьюринга и рекурсивные функции [Текст] / Г.-Д. Эббинхауз, К. Якобс, Ф.-К. Ман, Г. Хермес ; пер. с нем. Э. Г. Белаги. - М. : Мир, 1972. - 264 с. : рис. - (Современная математика). - Бібліогр. в кінці розд.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Эббинхауз, Г.-Д.; Якобс, К.; Ман, Ф.-К.; Хермес, Г.; Белага, Э. Г. (пер.)
Видання зберігається у :
Основний фонд
|
|