Kansikuva

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

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Hermes, Hans (Tekijä)
Aineistotyyppi:	Kirja
Kieli:	englanti
Julkaistu:	Berlín Springer-Verlag 1969
Aiheet:	TEORIA DE LA RECURSION FUNCIONES RECURSIVAS ENUMERABILIDAD DETERMINABILIDAD COMPUTABILIDAD MAQUINAS DE TURING Algoritmos
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Samankaltaisia teoksia

Computability and unsolvability
Tekijä: Davis, Martin
Julkaistu: (1982)

Computations in higher types
Tekijä: Moldestad, Johan
Julkaistu: (1977)

Recursive analysis
Tekijä: Goodstein, Reuben Louis
Julkaistu: (1961)

Degrees of unsolvability: structure and theory
Tekijä: Epstein, Richard L
Julkaistu: (1979)

A course in mathematical logic
Tekijä: Manin, Yuri Ivanovich
Julkaistu: (1977)

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

Computability and unsolvability
Tekijä: Davis, Martin
Julkaistu: (1958)

Logic, computers, and sets
Tekijä: Wang, Hao
Julkaistu: (1970)

Mathematical Logic
Tekijä: Monk, James Donald
Julkaistu: (1976)

Theory of computation
Tekijä: Brainerd, Walter S, et al.
Julkaistu: (1974)

Combinatorial algorithms
Tekijä: Hu, T. C
Julkaistu: (1982)

Introducáo a geometria computacional
Tekijä: Figueiredo, Luiz Henrique de, et al.
Julkaistu: (1991)

Artificial intelligence for humans
Tekijä: Heaton, Jeff
Julkaistu: (2013)

Analysis of neural networks
Tekijä: Heiden, Uwe an der
Julkaistu: (1980)

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

The art of computer programming
Tekijä: Knuth, Donald Ervin
Julkaistu: (1973)

Designing efficient algorithms for parallel computers
Tekijä: Quinn, Michael J
Julkaistu: (1987)

Optimización. Algoritmos programados en MATLAB
Tekijä: Cuevas Jiménez, Erik Valdemar
Julkaistu: (2016)

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

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

Fundamentos de informática
Tekijä: Virgós Bel, Ferran, et al.
Julkaistu: (2008)

Algoritmo de Boole
Tekijä: Iommi Amunátegui, Godofredo Tomás
Julkaistu: (1988)

Algoritmo de Weyl
Tekijä: Iommi Amunátegui, Godofredo Tomás
Julkaistu: (1987)

Multi-objective optimization using evolutionary algorithms
Tekijä: Deb, Kalyanmoy
Julkaistu: (2001)

Applied numerical methods
Tekijä: Carnahan, Brice, et al.
Julkaistu: (1969)

The algebraic eigenvalue problem
Tekijä: Wilkinson, J. H
Julkaistu: (1965)

Elements of numerical analysis
Tekijä: Henrici, Peter
Julkaistu: (1964)

Algoritmos de pontos interiores para programacáo linear
Tekijä: Gonzaga, Clovis C
Julkaistu: (1989)

Evolutionary Algorithms for Solving Multi-Objective Problems
Tekijä: Coello Coello, Carlos A, et al.
Julkaistu: (2007)

Mathématique élémentaire d'un point de vue algorithmique
Tekijä: Engel, Arthur
Julkaistu: (1979)

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

Conjugate gradient algorithms and finite element methods
Tekijä: Krizek, M, et al.
Julkaistu: (2004)

Graphical enumeration
Tekijä: Harary, Frank, et al.
Julkaistu: (1973)

Aspectos teóricos da computacao
Tekijä: Lucchesi, Claudio L., et al.
Julkaistu: (1979)

Neural networks: algorithms, applications, and programming techniques
Tekijä: Freeman, James A, et al.
Julkaistu: (1991)

Algorithmic graph theory and perfect graphs
Tekijä: Golumbic, Martin Charles
Julkaistu: (1980)

Estructuras de datos
Tekijä: Cairó Battistutti, Osvaldo, et al.
Julkaistu: (1993)

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

Linear programs and related problems
Tekijä: Nering, Evar D., et al.
Julkaistu: (1990)

Cukoo search and firefly algorithm: theory and applications
Tekijä: Yang, Xin-She
Julkaistu: (2014)