Enumerability, decidability, computability: an introduction to the theory of recursive functions
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Llibre |
| Idioma: | anglès |
| Publicat: |
Berlín
Springer-Verlag
1969
|
| Matèries: | |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | UCQ8256 | ||
| 003 | CL-VaPUC | ||
| 008 | 981209e19690000GW |||||||||||||||||eng|d | ||
| 082 | 0 | 4 | |a 511.35 |b HER |2 21 |
| 100 | |a Hermes, Hans |e author |9 422095 | ||
| 245 | 1 | 0 | |a Enumerability, decidability, computability: an introduction to the theory of recursive functions |
| 300 | |a 245 p | ||
| 942 | |c BK | ||
| 945 | |d 19981209 00:00:00 |a crobeson | ||
| 260 | |a Berlín |b Springer-Verlag |c 1969 | ||
| 650 | 7 | |a TEORIA DE LA RECURSION |2 CL-VaPUC |9 422096 | |
| 650 | 7 | |a FUNCIONES RECURSIVAS |2 CL-VaPUC |9 270697 | |
| 650 | 7 | |a ENUMERABILIDAD |2 CL-VaPUC |9 422097 | |
| 650 | 7 | |a DETERMINABILIDAD |2 CL-VaPUC |9 422098 | |
| 650 | 7 | |a COMPUTABILIDAD |2 CL-VaPUC |9 421904 | |
| 650 | 7 | |a MAQUINAS DE TURING |2 CL-VaPUC |9 422099 | |
| 650 | 0 | |a Algoritmos |9 260639 | |
| 583 | |a last modification |c 19981209 00:00:00 |k Rodrigo Vera | ||
| 999 | |c 277541 |d 277539 | ||
| 952 | |0 0 |1 0 |4 0 |6 511_350000000000000_HER_1969 |7 0 |8 A |9 315534 |a BIBMAT |b BIBMAT |d 2019-11-20 |i 1300180 |o 511.35 HER 1969 |p 1300180 |r 2025-01-07 |w 2019-11-20 |y BK |k MAT | ||