Rekursive funktionen/

Main Author:	Heidler, Klaus
Other Authors:	Hermes, Hans, Mahn, Friedrich-K.
Format:	Book
Language:	German
Published:	Mannheim Wien Zu?rich: Bibliographisches Institut, 1977
Subjects:	Recursive functions Algorithms

Similar Items

Rekursive Funktionen/
by: Ro?zsa, Pe?ter
Published: (1957)

Rekursive funktionen in der komputer-theorie/
by: Pe?ter, Ro?zsa, 1905-
Published: (1976)

Rekursive Folgen/
by: Markushevich, Aleksei Ivanovich, 1908-
Published: (1977)

Rekursive funktionen und ihre komplexita?t/
by: Schnorr, Claus Peter
Published: (1974)

Algorithmen rekursive Funktionen und formale Sprachen/
by: Brauer, Wilfried
Published: (1968)

Rekursive Verfahren : ein problemorientierter Eingangkurs /
by: Stowasser, Roland
Published: (1978)

Aufza?hlbarkeit, entscheidbarkeit, berechenbarkeit : einfu?hrung in die theorie der rekursiven funktionen /
by: Hermes, Hans
Published: (1971)

Rekursive Programmierung/
by: Perl, Jurgen
Published: (1979)

Super-recursive algorithms /
by: Burgin, M. S.
Published: (2005)

Aufzahlbarkeit, Entscheidbarkeit Berechenbarkeit/
by: Hermes, Hans
Published: (1961)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
by: Hermes, Hans
Published: (1969)

Stochastic approximation and recursive algorithms and applications/
by: Kushner, Harold J.(Harold Joseph), 1933-
Published: (2003)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
by: Hermes, Hans.
Published: (1969)

Computability/
by: Weihrauch, Klaus
Published: (1987)

Algorithmentheorie/
by: Loeckx, Jacques, 1931-
Published: (1976)

Recursive algorithms /
by: Lorentz, Richard.
Published: (1994)

Computations in higher types/
by: Moldestad, Johan, 1946-
Published: (1977)

Project Rand : a decision method for elementary algebra and geometry /
by: Tarski, Alfred
Published: (1957)

Recursive equivalence types/
by: Dekker, J. C. E.
Published: (1960)

Recursion theory : its generalisations and applications: proceedings of Logic Colloquium ʹ79, Leeds, August 1979 /
Published: (1980)

Recursive functionals/
by: Sanchis, Luis E.
Published: (1992)

Lec?ons sur les fonctions calculables/
by: Ouspenski, V. A.
Published: (1966)

Computability /
by: Weihrauch, K. 1943-
Published: (1987)

Computability and logic/
by: Boolos, George
Published: (1974)

Computability and logic/
by: Boolos, George S.
Published: (1974)

Recursively enumerable sets and degrees/
by: Soare, Robert I.
Published: (1987)

Theory of recursive functions and effective computability/
by: Rogers, Hartley
Published: (1967)

Degrees of unsolvability/
by: Shoenfield, Joseph R.
Published: (1971)

Konstruktive analysis/
by: Klaua, Dieter
Published: (1961)

Recursion on the countable functionals/
by: Normann, Dag, 1947-
Published: (1980)

Recursive macroeconomic theory /
by: Ljungqvist, Lars
Published: (2000)

Computability theory : an introduction /
by: Jones, Neil D.
Published: (1973)

The Medvedev lattice of degrees of difficulty/
by: Poulsen, Birgit Truust
Published: (1970)

Formalized recursive functionals and formalized realizability/
by: Kleene, Stephen Cole, 1909-1994
Published: (1969)

Computability, an introduction to recursive function theory /
by: Cutland, Nigel
Published: (1980)

Recursive macroeconomic theory/
by: Ljungqvist, Lars
Published: (2004)

Solutions manual for recursive methods in economic dynamics
by: Irigoyen, Claudio.
Published: (2002)

Theory of formal systems/
by: Smullyan, Raymond M.
Published: (1961)

Stochastic approximation and recursive algorithms and applications/
by: Kushner, Harold J., 1933-Harold Joseph
Published: (2003)

Computations in higher types/
by: Moldestad, Johan
Published: (1976)

Cannot write session to /tmp/vufind_sessions/sess_nlhicadipdal0m61eer3nirus2