表紙画像

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

保存先:

書誌詳細
第一著者:	Hermes, Hans (著者)
フォーマット:	図書
言語:	英語
出版事項:	Berlín Springer-Verlag 1969
主題:	TEORIA DE LA RECURSION FUNCIONES RECURSIVAS ENUMERABILIDAD DETERMINABILIDAD COMPUTABILIDAD MAQUINAS DE TURING Algoritmos
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

Computability and unsolvability
著者:: Davis, Martin
出版事項: (1982)

Computations in higher types
著者:: Moldestad, Johan
出版事項: (1977)

Recursive analysis
著者:: Goodstein, Reuben Louis
出版事項: (1961)

Degrees of unsolvability: structure and theory
著者:: Epstein, Richard L
出版事項: (1979)

A course in mathematical logic
著者:: Manin, Yuri Ivanovich
出版事項: (1977)

Introducción a la teoría matemática de las computadoras y de la programación
著者:: Trajtenbrot, B. A
出版事項: (1967)

Computability and unsolvability
著者:: Davis, Martin
出版事項: (1958)

Logic, computers, and sets
著者:: Wang, Hao
出版事項: (1970)

Mathematical Logic
著者:: Monk, James Donald
出版事項: (1976)

Theory of computation
著者:: Brainerd, Walter S, 等
出版事項: (1974)

Combinatorial algorithms
著者:: Hu, T. C
出版事項: (1982)

Introducáo a geometria computacional
著者:: Figueiredo, Luiz Henrique de, 等
出版事項: (1991)

Artificial intelligence for humans
著者:: Heaton, Jeff
出版事項: (2013)

Analysis of neural networks
著者:: Heiden, Uwe an der
出版事項: (1980)

Vigésimo Tercera Semana de la Matemática
出版事項: (1996)

The art of computer programming
著者:: Knuth, Donald Ervin
出版事項: (1973)

Designing efficient algorithms for parallel computers
著者:: Quinn, Michael J
出版事項: (1987)

Optimización. Algoritmos programados en MATLAB
著者:: Cuevas Jiménez, Erik Valdemar
出版事項: (2016)

Especificación, derivación y análisis de algoritmos: ejercicios resueltos
著者:: Martí Oliet, Narciso, 等
出版事項: (2006)

Computers and intractability: A guide to the theory of NP-Completeness
著者:: Garey, Michael R, 等
出版事項: (1979)

Fundamentos de informática
著者:: Virgós Bel, Ferran, 等
出版事項: (2008)

Algoritmo de Boole
著者:: Iommi Amunátegui, Godofredo Tomás
出版事項: (1988)

Algoritmo de Weyl
著者:: Iommi Amunátegui, Godofredo Tomás
出版事項: (1987)

Multi-objective optimization using evolutionary algorithms
著者:: Deb, Kalyanmoy
出版事項: (2001)

Applied numerical methods
著者:: Carnahan, Brice, 等
出版事項: (1969)

The algebraic eigenvalue problem
著者:: Wilkinson, J. H
出版事項: (1965)

Elements of numerical analysis
著者:: Henrici, Peter
出版事項: (1964)

Algoritmos de pontos interiores para programacáo linear
著者:: Gonzaga, Clovis C
出版事項: (1989)

Evolutionary Algorithms for Solving Multi-Objective Problems
著者:: Coello Coello, Carlos A, 等
出版事項: (2007)

Mathématique élémentaire d'un point de vue algorithmique
著者:: Engel, Arthur
出版事項: (1979)

Modern heuristic optimization techniques. Theory and applications to power systems
出版事項: (2008)

Conjugate gradient algorithms and finite element methods
著者:: Krizek, M, 等
出版事項: (2004)

Graphical enumeration
著者:: Harary, Frank, 等
出版事項: (1973)

Aspectos teóricos da computacao
著者:: Lucchesi, Claudio L., 等
出版事項: (1979)

Neural networks: algorithms, applications, and programming techniques
著者:: Freeman, James A, 等
出版事項: (1991)

Algorithmic graph theory and perfect graphs
著者:: Golumbic, Martin Charles
出版事項: (1980)

Estructuras de datos
著者:: Cairó Battistutti, Osvaldo, 等
出版事項: (1993)

Qualitative theory of planar differential systems: with 123 figures and 10 tables
著者:: Dumortier, Freddy, 等
出版事項: (2006)

Linear programs and related problems
著者:: Nering, Evar D., 等
出版事項: (1990)

Cukoo search and firefly algorithm: theory and applications
著者:: Yang, Xin-She
出版事項: (2014)