Imatge de la portada

Enumerability, decidability, computability: an introduction to the theory of recursive functions

Guardat en:

Dades bibliogràfiques
Autor principal:	Hermes, Hans (Autor)
Format:	Llibre
Idioma:	anglès
Publicat:	Berlín Springer-Verlag 1969
Matèries:	TEORIA DE LA RECURSION FUNCIONES RECURSIVAS ENUMERABILIDAD DETERMINABILIDAD COMPUTABILIDAD MAQUINAS DE TURING Algoritmos
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

Computability and unsolvability
per: Davis, Martin
Publicat: (1982)

Computations in higher types
per: Moldestad, Johan
Publicat: (1977)

Recursive analysis
per: Goodstein, Reuben Louis
Publicat: (1961)

Degrees of unsolvability: structure and theory
per: Epstein, Richard L
Publicat: (1979)

A course in mathematical logic
per: Manin, Yuri Ivanovich
Publicat: (1977)

Introducción a la teoría matemática de las computadoras y de la programación
per: Trajtenbrot, B. A
Publicat: (1967)

Computability and unsolvability
per: Davis, Martin
Publicat: (1958)

Logic, computers, and sets
per: Wang, Hao
Publicat: (1970)

Mathematical Logic
per: Monk, James Donald
Publicat: (1976)

Theory of computation
per: Brainerd, Walter S, et al.
Publicat: (1974)

Combinatorial algorithms
per: Hu, T. C
Publicat: (1982)

Introducáo a geometria computacional
per: Figueiredo, Luiz Henrique de, et al.
Publicat: (1991)

Artificial intelligence for humans
per: Heaton, Jeff
Publicat: (2013)

Analysis of neural networks
per: Heiden, Uwe an der
Publicat: (1980)

Vigésimo Tercera Semana de la Matemática
Publicat: (1996)

The art of computer programming
per: Knuth, Donald Ervin
Publicat: (1973)

Designing efficient algorithms for parallel computers
per: Quinn, Michael J
Publicat: (1987)

Optimización. Algoritmos programados en MATLAB
per: Cuevas Jiménez, Erik Valdemar
Publicat: (2016)

Especificación, derivación y análisis de algoritmos: ejercicios resueltos
per: Martí Oliet, Narciso, et al.
Publicat: (2006)

Computers and intractability: A guide to the theory of NP-Completeness
per: Garey, Michael R, et al.
Publicat: (1979)

Fundamentos de informática
per: Virgós Bel, Ferran, et al.
Publicat: (2008)

Algoritmo de Boole
per: Iommi Amunátegui, Godofredo Tomás
Publicat: (1988)

Algoritmo de Weyl
per: Iommi Amunátegui, Godofredo Tomás
Publicat: (1987)

Multi-objective optimization using evolutionary algorithms
per: Deb, Kalyanmoy
Publicat: (2001)

Applied numerical methods
per: Carnahan, Brice, et al.
Publicat: (1969)

The algebraic eigenvalue problem
per: Wilkinson, J. H
Publicat: (1965)

Elements of numerical analysis
per: Henrici, Peter
Publicat: (1964)

Algoritmos de pontos interiores para programacáo linear
per: Gonzaga, Clovis C
Publicat: (1989)

Evolutionary Algorithms for Solving Multi-Objective Problems
per: Coello Coello, Carlos A, et al.
Publicat: (2007)

Mathématique élémentaire d'un point de vue algorithmique
per: Engel, Arthur
Publicat: (1979)

Modern heuristic optimization techniques. Theory and applications to power systems
Publicat: (2008)

Conjugate gradient algorithms and finite element methods
per: Krizek, M, et al.
Publicat: (2004)

Graphical enumeration
per: Harary, Frank, et al.
Publicat: (1973)

Aspectos teóricos da computacao
per: Lucchesi, Claudio L., et al.
Publicat: (1979)

Neural networks: algorithms, applications, and programming techniques
per: Freeman, James A, et al.
Publicat: (1991)

Algorithmic graph theory and perfect graphs
per: Golumbic, Martin Charles
Publicat: (1980)

Estructuras de datos
per: Cairó Battistutti, Osvaldo, et al.
Publicat: (1993)

Qualitative theory of planar differential systems: with 123 figures and 10 tables
per: Dumortier, Freddy, et al.
Publicat: (2006)

Linear programs and related problems
per: Nering, Evar D., et al.
Publicat: (1990)

Cukoo search and firefly algorithm: theory and applications
per: Yang, Xin-She
Publicat: (2014)