TY  - BOOK
AU  - Эббинхауз,Г.Д.
AU  - Якобс,К.
AU  - Ман,Ф.К.
AU  - Хермес,Г.
TI  - Машины Тьюринга и рекурсивные функции: пер. с нем
PY  - 1972///
CY  - М.
PB  - Мир
KW  - Тьюринга машина
KW  - Функции рекурсивные
ER  -