Enumerability, Decidability, Computability
An Introduction to the Theory of Recursive Functions
Edición de la obra Enumerability, Decidability, Computability
| Autor | Hans Hermes, Gabor T. Herman, O. Plassmann |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Mar 12, 2014 |
| Páginas | 256 |
| Formato | paperback |
| ISBN-13 | 9783662116876 |
| ISBN-10 | 3662116871 |
| Número de Cutter | H553e |