Equivalencia recursiva /

Código QR

Equivalencia recursiva /

Detalles Bibliográficos
Autor principal:	Dekker, Jacob C.E. 1921 - (Autor, Autor/a)
Formato:	Libro
Lenguaje:	Spanish
Publicado:	San Pedro de Montes de Oca, C.R. : Escuela de Matemáticas, Universidad de Costa Rica, 1976.
Materias:	FUNCIONES RECURSIVAS

Ejemplares similares

Planos afines con operaciones recursivas /
por: Dekker, Jacob C.E. 1921 -, et al.

Recursive equivalence types /
por: Dekker, Jacob C.E. 1921 -, et al.
Publicado: (1960)

Aritmética recursiva y algunas de sus aplicaciones /
por: Piza Volio, Eduardo 1955-, et al.
Publicado: (2001)

Introducción a la teoría de las funciones recursivas
por: Baules Aguilar, Edgar
Publicado: (1981)

Generalized recursion theory. Proceedings of the 1972 Oslo symposium
Publicado: (1974)

Recursive function theory
Publicado: (1962)

Recursion theory week : proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 /
por: Ambos, Spines K.
Publicado: (1964)

Recursively enumerable sets and degress : a study of computable functions and computably generated sets /
por: Soare, Robert Irving 1940-, et al.
Publicado: (1987)

Theory of recursive functions and effective computability /
por: Rogers, Hartley n. 1926-, et al.
Publicado: (1967)

Computability : an introduction to recursive function theory /
por: Cutland, Nigel, et al.
Publicado: (1980)

Computability /
por: Tourlakis, George J., et al.
Publicado: (1984)

Computability and unsolvability
por: Davis, Martin 1928-, et al.
Publicado: (1958)

Computations in higher types /
por: Moldestad, John 1946-, et al.
Publicado: (1964)

Computational methods and function theory : proceedings of a Conference, held in Valparaiso, Chile, march 13-18, 1989 /
por: Ruscheweyh, S. T., et al.
Publicado: (1964)

Algorithms and recursive functions
por: Mal'tsev, Anatolii Ivanovich 1909-1967, et al.
Publicado: (1970)

Algorithms and recursive fuctions /
por: Mal'Cev, A. I.
Publicado: (1970)

Recursive Functions / by Rózsa Péter
por: Péter, Rózsa

Degrees of unsolvability /
por: Sacks, Gerald E., et al.
Publicado: (1963)

Conditional relationships /
por: Kreiner, Svend, et al.
Publicado: (1989)

The foundations of intuitionistic mathematics: especially in relation to recursive functions /
por: Kleene, Stephen Cole 1909-, et al.
Publicado: (1965)

Tres formas diferentes de explicar la recursividad /
por: Di Mare Hering, Adolfo

A programming approach to computability /
por: Arbib, Michael A., et al.
Publicado: (1968)

Sobre recursión con objetos grandotes /
por: Lambert Martin, William, et al.

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
por: Hermes, Hans, et al.
Publicado: (1985)

Recursive macroeconomic theory /
por: Ljungqvist, Lars, et al.
Publicado: (2000)

Theory of formal systems /
por: Smullyan, Raymond M.
Publicado: (1961)

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 /
por: Richter, Michael M., et al.
Publicado: (1964)

The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions /
por: Davis, Martin 1928-
Publicado: (1965)

Aritmética recursiva y algunos de sus aplicaciones /
por: Piza Volio , E.
Publicado: (2001)

Perspectives in computation /
por: Geroch, Robert, et al.
Publicado: (2009)

Computation and automata /
por: Salomaa, Arto, et al.
Publicado: (1985)

Theory of computation
por: Brainerd, Walter S.
Publicado: (1974)

Diseño de programas /
por: Menchén Peñuela, Antonio
Publicado: (2010)

Algebra con aplicaciones técnicas
por: Miertschin, S. L | Goodson, C.E
Publicado: (1991)

La mente recursiva : Los orígenes del lenguaje humano, el pensamiento y la civilización /
por: Corballis, Michael C.
Publicado: (2014)

Jerarquía aritmética de Kleene
por: Martínez V., Iveth Verónica

Data processing for demographic censuses and surveys : with special emphasis on methods applicable to developing country environments /
por: Dekker, Arij, et al.
Publicado: (1997)

Formulario solicitud recursiva : FUNED OAS 03.00.02.
Publicado: (2021)

A course in formal languages, automata and groups /
por: Chiswell, Ian 1948-
Publicado: (2009)

Pathogenesis, diagnosis and epizootiology of swine vesicular disease /
por: Dekker, Aldo
Publicado: (2000)