Computability an introduction to recursive function theory

Computability an introduction to recursive function theory

Weitere Versionen anzeigen (4)

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Cutland, Nigel J. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cambridge [u.a.] Cambridge Univ. Press 1986
Ausgabe:	Reprinted
Schlagworte:	Rekursive Funktion Berechenbarkeit Rekursionstheorie
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Computability an introduction to recursive function theory
von: Cutland, Nigel J.
Veröffentlicht: (2000)

Computability an introduction to recursive function theory
von: Cutland, Nigel J.
Veröffentlicht: (1994)

Computability
von: Cutland, Nigel
Veröffentlicht: (1980)

Computability
von: Tourlakis, George J.
Veröffentlicht: (1984)

Vyčislimost' vvedenie v teoriju rekursivnych funkcij
von: Cutland, Nigel J.
Veröffentlicht: (1983)

Recursively enumerable Sets and degrees a study of computable functions and computably generated sets
von: Soare, Robert I.
Veröffentlicht: (1987)

Theory of recursive functions and effective computability
von: Rogers, Hartley
Veröffentlicht: (1992)

Theory of recursive functions and effective computability
von: Rogers, Hartley
Veröffentlicht: (1980)

Theory of recursive functions and effective computability
von: Rogers, Hartley
Veröffentlicht: (1967)

Algebraic recursion theory
von: Ivanov, Ljubomir L.
Veröffentlicht: (1986)

A programming approach to computability
von: Kfoury, A. J., et al.
Veröffentlicht: (1982)

Enumerability, decidability, computability an introduction to the theory of recursive functions
von: Hermes, Hans
Veröffentlicht: (1965)

Rekursiv programmieren
von: Roberts, Eric S.
Veröffentlicht: (1987)

Enumerability · Decidability Computability An Introduction to the Theory of Recursive Functions
von: Hermes, Hans 1912-2003
Veröffentlicht: (1965)

Enumerability - Decidability Computability An Introduction to the Theory of Recursive Functions
von: Hermes, Hans 1912-2003
Veröffentlicht: (1969)

Computability in combinatory spaces an algebraic generalization of abstract first order computability
von: Skordev, Dimitŭr G.
Veröffentlicht: (1992)

Enumerability, decidability, computability an introduction to the theory of recursive functions
von: Hermes, Hans 1912-2003
Veröffentlicht: (1965)

Recursive functions in computer science
von: Péter, Rozsa
Veröffentlicht: (1981)

Some Classes of recursive functions
von: Grzegorczyk, Andrzej 1922-2014
Veröffentlicht: (1964)

Some classes of recursive functions
von: Grzegorczyk, Andrzej 1922-2014
Veröffentlicht: (1953)

Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen
von: Deutsch, Michael 1944-
Veröffentlicht: (2003)

Formal systems and recursive functions proceedings of the Eighth Logic Colloquium, Oxford, July 1963
Veröffentlicht: (1965)

Push down transductions as primitive recursive wordfunctions
von: Indermark, Klaus
Veröffentlicht: (1972)

On the structure of the recursively enumerable degrees
von: Ambos-Spies, Klaus 1951-
Veröffentlicht: (1980)

On the structure of the recursively enumerable degrees
von: Ambos-Spies, Klaus 1951-
Veröffentlicht: (1980)

Handbook of recursive mathematics

Kombinatornye prostranstva i rekursivnost' v nich
von: Skordev, Dimiter G.
Veröffentlicht: (1980)

Formalized recursive functionals and formalized realizability
von: Kleene, Stephen Cole 1909-1994
Veröffentlicht: (1969)

Classical recursion theory the theory of functions and sets of natural numbers
von: Odifreddi, Piergiorgio
Veröffentlicht: (1992)

Classical recursion theory the theory of functions and sets of natural numbers
von: Odifreddi, Piergiorgio
Veröffentlicht: (1992)

Complexity classes of recursive functions
von: Moll, Robert
Veröffentlicht: (1973)

Computations in Higher Types
von: Moldestad, Johan
Veröffentlicht: (1977)

Funkcje rekurencyjne i elementy metamatematyki problemy zupełności, roztrzygalności, twierdzenia Gödla
von: Murawski, Roman 1949-
Veröffentlicht: (1990)

Rekursive Funktionen
von: Péter, Rozsa
Veröffentlicht: (1967)

Computability A Mathematical Sketchbook
von: Bridges, Douglas S.
Veröffentlicht: (1994)

Classical recursion theory the theory of functions and sets of natural numbers
Veröffentlicht: (1989)

Fonctions recursives
von: Grzegorczyk, Andrzej 1922-2014
Veröffentlicht: (1961)

Logic Colloquium '95 Haifa 13 - 16 August 1995
Veröffentlicht: (1997)

Rekursionstheorie
von: Richter, Michael M. 1938-2020, et al.
Veröffentlicht: (1975)

Rekursionstheorie auf Teilmengen partieller Funktionen
von: Spreen, Heinz-Dieter 1947-
Veröffentlicht: (1985)