Mostrando
1 - 8
Resultados de
8
Para Buscar '
'
Saltar al contenido
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Lenguaje
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
La página se recargará cuando se elimine un filtro.
Restablecer filtros
Filtros aplicados:
Materias:
Eliminar filtro
Funciones recursivas
La página se recargará cuando se elimine un filtro.
Restablecer filtros
Mostrar filtros (1)
Materias:
Eliminar filtro
Funciones recursivas
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Funciones recursivas
Algoritmos
2
Funciones computables
2
Lógica matemática
2
Insolubilidad (Lógica matemática)
1
Lógica simbólica
1
Programación (Computadoras)
1
Recursion, teoría de
1
Teorema de Gödel
1
Teoría de recursión
1
Mostrando
1 - 8
Resultados de
8
Para Buscar '
'
, tiempo de consulta: 0.05s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
1
Computability and logic
por
Boolos, George S.
Publicado 1989
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
Cargando…
2
Computability, complexity, logic
por
Börger, Egon 1946-
Publicado 1989
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
Cargando…
3
Theory of recursive functions and effective computability /
por
Rogers, H. (Hartley), 1926-
Publicado 1987
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
Cargando…
4
Classical recursion theory
por
Odifreddi, Piergiorgio, 1950-
Publicado 1989
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
Cargando…
5
Handbook of recursive mathematics /
Publicado 1998
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
Cargando…
6
Computability & Unsolvability
por
Davis, Martin, 1928-
Publicado 1982
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
Cargando…
7
Recursive algorithms
por
Lorentz, Richard J.
Publicado 1994
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
Cargando…
8
Introducción a la teoría de la computabilidad : algoritmos y máquinas
por
Hermes, Hans
Publicado 1984
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
Cargando…
Herramientas de búsqueda:
RSS
Atrás
Limitar resultados
La página se volverá a cargar cuando se seleccione o excluya un filtro.
Institución
Universidad Veracruzana
8 resultados
8
Formato
Libro
8 resultados
8
Número de Clasificación
Q - Ciencia
7 resultados
7
Autor
Boolos, George S.
1 resultados
1
Börger, Egon 1946-
1 resultados
1
Davis, Martin, 1928-
1 resultados
1
Ershov, Yu Leonidovich
1 resultados
1
Hermes, Hans
1 resultados
1
Jeffrey, Richard C.
1 resultados
1
Lorentz, Richard J.
1 resultados
1
Odifreddi, Piergiorgio, 1950-
1 resultados
1
Rogers, H. (Hartley), 1926-
1 resultados
1
ver todos…
Lenguaje
English
4 resultados
4
Spanish
1 resultados
1
Año de Publicación
De:
a: