Skip to content
VuFind
Language
English
Español
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Search
Equivalencia recursiva /
Similar Items
Cite this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to MARC
Export to RDF
Export to BibTeX
Export to RIS
Equivalencia recursiva /
Bibliographic Details
Main Author:
Dekker, Jacob C.E. 1921 -
(Author, Autor/a)
Format:
Book
Language:
Spanish
Published:
San Pedro de Montes de Oca, C.R. :
Escuela de Matemáticas, Universidad de Costa Rica,
1976.
Subjects:
FUNCIONES RECURSIVAS
Holdings
Description
Similar Items
Staff View
Similar Items
Planos afines con operaciones recursivas /
by: Dekker, Jacob C.E. 1921 -, et al.
Recursive equivalence types /
by: Dekker, Jacob C.E. 1921 -, et al.
Published: (1960)
Aritmética recursiva y algunas de sus aplicaciones /
by: Piza Volio, Eduardo 1955-, et al.
Published: (2001)
Introducción a la teoría de las funciones recursivas
by: Baules Aguilar, Edgar
Published: (1981)
Generalized recursion theory. Proceedings of the 1972 Oslo symposium
Published: (1974)
Recursive function theory
Published: (1962)
Recursion theory week : proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 /
by: Ambos, Spines K.
Published: (1964)
Recursively enumerable sets and degress : a study of computable functions and computably generated sets /
by: Soare, Robert Irving 1940-, et al.
Published: (1987)
Theory of recursive functions and effective computability /
by: Rogers, Hartley n. 1926-, et al.
Published: (1967)
Computability : an introduction to recursive function theory /
by: Cutland, Nigel, et al.
Published: (1980)
Computability /
by: Tourlakis, George J., et al.
Published: (1984)
Computability and unsolvability
by: Davis, Martin 1928-, et al.
Published: (1958)
Computations in higher types /
by: Moldestad, John 1946-, et al.
Published: (1964)
Computational methods and function theory : proceedings of a Conference, held in Valparaiso, Chile, march 13-18, 1989 /
by: Ruscheweyh, S. T., et al.
Published: (1964)
Algorithms and recursive functions
by: Mal'tsev, Anatolii Ivanovich 1909-1967, et al.
Published: (1970)
Algorithms and recursive fuctions /
by: Mal'Cev, A. I.
Published: (1970)
Recursive Functions / by Rózsa Péter
by: Péter, Rózsa
Degrees of unsolvability /
by: Sacks, Gerald E., et al.
Published: (1963)
Conditional relationships /
by: Kreiner, Svend, et al.
Published: (1989)
The foundations of intuitionistic mathematics: especially in relation to recursive functions /
by: Kleene, Stephen Cole 1909-, et al.
Published: (1965)
Tres formas diferentes de explicar la recursividad /
by: Di Mare Hering, Adolfo
A programming approach to computability /
by: Arbib, Michael A., et al.
Published: (1968)
Sobre recursión con objetos grandotes /
by: Lambert Martin, William, et al.
Enumerability, decidability, computability : an introduction to the theory of recursive functions /
by: Hermes, Hans, et al.
Published: (1985)
Recursive macroeconomic theory /
by: Ljungqvist, Lars, et al.
Published: (2000)
Theory of formal systems /
by: Smullyan, Raymond M.
Published: (1961)
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 /
by: Richter, Michael M., et al.
Published: (1964)
The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions /
by: Davis, Martin 1928-
Published: (1965)
Aritmética recursiva y algunos de sus aplicaciones /
by: Piza Volio , E.
Published: (2001)
Perspectives in computation /
by: Geroch, Robert, et al.
Published: (2009)
Computation and automata /
by: Salomaa, Arto, et al.
Published: (1985)
Theory of computation
by: Brainerd, Walter S.
Published: (1974)
Diseño de programas /
by: Menchén Peñuela, Antonio
Published: (2010)
Algebra con aplicaciones técnicas
by: Miertschin, S. L | Goodson, C.E
Published: (1991)
La mente recursiva : Los orígenes del lenguaje humano, el pensamiento y la civilización /
by: Corballis, Michael C.
Published: (2014)
Jerarquía aritmética de Kleene
by: Martínez V., Iveth Verónica
Data processing for demographic censuses and surveys : with special emphasis on methods applicable to developing country environments /
by: Dekker, Arij, et al.
Published: (1997)
Formulario solicitud recursiva : FUNED OAS 03.00.02.
Published: (2021)
A course in formal languages, automata and groups /
by: Chiswell, Ian 1948-
Published: (2009)
Pathogenesis, diagnosis and epizootiology of swine vesicular disease /
by: Dekker, Aldo
Published: (2000)
Similar Items
Planos afines con operaciones recursivas /
by: Dekker, Jacob C.E. 1921 -, et al.
Recursive equivalence types /
by: Dekker, Jacob C.E. 1921 -, et al.
Published: (1960)
Aritmética recursiva y algunas de sus aplicaciones /
by: Piza Volio, Eduardo 1955-, et al.
Published: (2001)
Introducción a la teoría de las funciones recursivas
by: Baules Aguilar, Edgar
Published: (1981)
Generalized recursion theory. Proceedings of the 1972 Oslo symposium
Published: (1974)
×
Loading...
