Imagen de Portada

Formal systems and recursive functions. /

Guardado en:

Autor Principal:	Crossley, J. N.
Formato:	Libro
Idioma:	English
Publicado:	Amsterdam : North-Holland, 1965.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Formal systems and recursive functions : proceedings of the Eighth Logic Colloquium, Oxford, July 1963 /
Publicado: (1965)

Recursive functions /
por: Péter, Rózsa, 1905-1977.
Publicado: (1967)

Recursive functions /
por: Péter, Rózsa, 1905-
Publicado: (1967)

Recursive function theory and logic. /
por: Yasuhara, Ann.
Publicado: (1971)

Recursive function theory and logic /
por: Yasuhara, Ann.
Publicado: (1971)

Algorithms and recursive functions /
por: Mal´tsev, A. I. 1909-1967.
Publicado: (1970)

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

Theory of recursive functions and effective computability /
por: Rogers, H. 1926-
Publicado: (1967)

Stable recursions : with applications to the numerical solution of stiff systems /
por: Cash, J. R.
Publicado: (1979)

Recursive analysis /
por: Goodstein, R. L.
Publicado: (1961)

Fonctions récursives /
por: Grzegorczyk, Andrzej.
Publicado: (1961)

Super-Recursive Algorithms
por: Burgin, Mark.
Publicado: (2005)

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

Recursive programming techniques. /
por: Burge, William H.
Publicado: (1975)

Recursive programming techniques /
por: Burge, William H.
Publicado: (1975)

Theory and practice of recursive identification /
por: Ljung, Lennart.
Publicado: (1983)

Stochastic approximation and recursive estimation /
por: Nevel'son, Mikhail Borisovich.
Publicado: (1973)

Mathematical interpretation of formal systems /
Publicado: (1955)

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

Computer programming and formal systems /
Publicado: (1963)

Pluralidad y recursion : estudios epistemologicos /
por: Moulines, C. Ulises
Publicado: (1991)

Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus /
por: Goodstein, R. L.
Publicado: (1957)

A recursive introduction to the theory of computation /
por: Smith, Carl H., 1950-
Publicado: (1994)

A recursive introduction to the theory of computation /
por: Smith, Carl H., 1950-
Publicado: (1994)

Formal Models of Operating System Kernels
por: Craig, Iain D.
Publicado: (2007)

Formal Refinement for Operating System Kernels
por: Craig, Iain D.
Publicado: (2007)

Recursive estimation and time-series analysis : an introduction /
por: Young, Peter C.
Publicado: (1984)

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic /
por: Bollig, Benedikt.
Publicado: (2006)

Formal logic /
por: Prior, A. N. 1914-1969.
Publicado: (1955)

Control systems functions and programming approaches /
por: Chorafas, Dimitris N.
Publicado: (1966)

Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 /
Publicado: (1967)

Introduction to the formal design of real-time systems /
por: Gray, David, 1946-
Publicado: (1999)

A formal model of visualization in computer graphics systems /
por: Onodera, Tamiya, 1959-
Publicado: (1990)

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
por: Kreowski, Hans-Jörg.
Publicado: (2005)

Formal logic /
por: Lorenzen, Paul, 1915-1994.
Publicado: (1965)

Formal languages /
por: Salomaa, Arto.
Publicado: (1973)

Sistemas formales. /
por: Lungarzo, Carlos A.
Publicado: (1971)

Formale Logik.
por: Lorenzen, Paul, 1915-1994.
Publicado: (1962)

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /
por: Raskin, Jean-François.
Publicado: (2007)

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings /
por: Asarin, Eugene.
Publicado: (2006)