Enumerability, Decidability, Computability : an introduction to the theory of recursive functions /

Guardado en:

Detalles Bibliográficos
Autor principal:	Hermes, Hans
Formato:	Libro
Lenguaje:	Inglés
Publicado:	Berlin : Springer-Verlag, 1969
Edición:	2a ed. rev.
Materias:	Máquinas de turing Computación Algoritmos Recursión
Aporte de:	Registro referencial: Solicitar el recurso aquí Sistema de Bibliotecas de la UNICEN de Universidad Nacional del Centro


LEADER	00648nam a2200217 4500
001	001379
003	arbauncb
008	150325s1969 gw g 000 0 eng d
005	20171017110705.0
040			\|a AR-BaUNCB \|c AR-BaUNCB
245	1	0	\|a Enumerability, Decidability, Computability : \|b an introduction to the theory of recursive functions / \|c Hans Hermes
250			\|a 2a ed. rev.
260			\|a Berlin : \|b Springer-Verlag, \|c 1969
300			\|a 245 p. \|c 23 cm
100	1		\|a Hermes, Hans
082	0	4	\|a 001.642
650		7	\|a Máquinas de turing \|2 spines
650		7	\|a Computación \|2 mpirdes
650		7	\|a Algoritmos \|2 unescot
653			\|a Recursión
999			\|c 1316 \|d 1316

Ejemplares similares