Cover Image

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

Saved in:

Bibliographic Details
Main Author:	Hermes, Hans (Author)
Format:	Book
Language:	English
Published:	Berlín Springer-Verlag 1969
Subjects:	TEORIA DE LA RECURSION FUNCIONES RECURSIVAS ENUMERABILIDAD DETERMINABILIDAD COMPUTABILIDAD MAQUINAS DE TURING Algoritmos
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Computability and unsolvability
by: Davis, Martin
Published: (1982)

Computations in higher types
by: Moldestad, Johan
Published: (1977)

Recursive analysis
by: Goodstein, Reuben Louis
Published: (1961)

Degrees of unsolvability: structure and theory
by: Epstein, Richard L
Published: (1979)

A course in mathematical logic
by: Manin, Yuri Ivanovich
Published: (1977)

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

Computability and unsolvability
by: Davis, Martin
Published: (1958)

Logic, computers, and sets
by: Wang, Hao
Published: (1970)

Mathematical Logic
by: Monk, James Donald
Published: (1976)

Theory of computation
by: Brainerd, Walter S, et al.
Published: (1974)

Combinatorial algorithms
by: Hu, T. C
Published: (1982)

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

Artificial intelligence for humans
by: Heaton, Jeff
Published: (2013)

Analysis of neural networks
by: Heiden, Uwe an der
Published: (1980)

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

The art of computer programming
by: Knuth, Donald Ervin
Published: (1973)

Designing efficient algorithms for parallel computers
by: Quinn, Michael J
Published: (1987)

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

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

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

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

Algoritmo de Boole
by: Iommi Amunátegui, Godofredo Tomás
Published: (1988)

Algoritmo de Weyl
by: Iommi Amunátegui, Godofredo Tomás
Published: (1987)

Multi-objective optimization using evolutionary algorithms
by: Deb, Kalyanmoy
Published: (2001)

Applied numerical methods
by: Carnahan, Brice, et al.
Published: (1969)

The algebraic eigenvalue problem
by: Wilkinson, J. H
Published: (1965)

Elements of numerical analysis
by: Henrici, Peter
Published: (1964)

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

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

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

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

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

Graphical enumeration
by: Harary, Frank, et al.
Published: (1973)

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

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

Algorithmic graph theory and perfect graphs
by: Golumbic, Martin Charles
Published: (1980)

Estructuras de datos
by: Cairó Battistutti, Osvaldo, et al.
Published: (1993)

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

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

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