Recursion theory

Recursion theory

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συλλογικό Έργο:	American Mathematical Society, Association for Symbolic Logic, AMS-ASL Summer Institute on Recursion Theory
Άλλοι συγγραφείς:	Nerode, Anil, 1932- (Επιμελητής έκδοσης), Shore, Richard A., 1946- (Επιμελητής έκδοσης)
Μορφή:	Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Providence, R.I. : American Mathematical Society, 1985.
Σειρά:	Proceedings of symposia in pure mathematics ; 42
Θέματα:	Recursion theory.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Recursive Function Theory
Δημοσίευση: (1962)

Techniques of admissible recursion theory
από: Chong, C.-T. (Chi-Tat) 1949-
Δημοσίευση: (1984)

Recursion Theory Week
Δημοσίευση: (1985)

Recursion theory week :
Δημοσίευση: (1990)

Recursive algorithms
από: Lorentz, Richard
Δημοσίευση: (1994)

Formalized recursive functionals and formalized realizability
από: Kleene, Stephen Cole 1909-
Δημοσίευση: (1969)

Automorphisms of the lattice of recursively enumerable sets
από: Cholak, Peter 1962-
Δημοσίευση: (1995)

Recursive methods in economic dynamics
από: Stokey, Nancy L.
Δημοσίευση: (1989)

Recursions for convolutions and compound distributions with insurance applications
από: Sundt, Bjorn
Δημοσίευση: (2009)

A recursive introduction to the theory of computation
από: Smith, Carl H. 1950-
Δημοσίευση: (1994)

Stochastic approximation and recursive algorithms and applications
από: Kushner, Harold J. (Harold Joseph) 1933-
Δημοσίευση: (2003)

Initial segments of degrees below 0'
από: Epstein, Richard L. 1947-
Δημοσίευση: (1981)

Theory of formal systems
από: Smullyan, Raymond M.
Δημοσίευση: (1961)

Hierarchies of predicates of finite types
από: Clarke, Douglas Albert
Δημοσίευση: (1964)

Computability :
από: Cutland, Nigel
Δημοσίευση: (1980)

Εισαγωγή στην υπολογιστική
από: Τουρλάκης, Γιώργος
Δημοσίευση: (1994)

Cabal Seminar 81-85 :
Δημοσίευση: (1988)

Rekursive Folgen
από: Markushevich, A. I. (Alekseaei Ivanovich), 1908-1979
Δημοσίευση: (1955)

A decision method for elemantary algebra and goemetry
από: Tarski, Alfred
Δημοσίευση: (1951)

Elementary induction on abstract structures
από: Μοσχοβάκης, Γιάννης Ν., 1938-
Δημοσίευση: (2008)

Cabal seminar 76-77 :
Δημοσίευση: (1978)

Cabal seminar 79-81 :
Δημοσίευση: (1983)

The calculi of lambda-conversion
από: Church, Alonzo 1903-1995
Δημοσίευση: (1951)

Degrees of unsolvability
από: Sacks, Gerald E.
Δημοσίευση: (1966)

Recursive nearest neighbors methods in recommender systems
από: Τσεσμετζής, Στυλιανός
Δημοσίευση: (2019)

Η θεωρία της επαναληπτικής ωφελιμότητας (recursive utility) και η εφαρμογή της στα χρηματοοικονομικά
από: Λουκατάρη, Αλεξάνδρα - Δημήτριος
Δημοσίευση: (2015)

Αυτόματα και τυπικές γλώσσες
από: Δημητρίου, Αναστάσιος
Δημοσίευση: (2002)

Recursion Theory
από: Shoenfield, Joseph R. (Joseph Robert) 1927-
Δημοσίευση: (1993)

The foundations of intuitionistic mathematics :
από: Kleene, Stephen Cole 1909-
Δημοσίευση: (1965)

Minimal degrees of unsolvability and the full approximation construction
από: Epstein, Richard L. 1947-
Δημοσίευση: (1975)

Algorithmen, rekursive funktionen und formaler sprachen
από: Brauer, Wilfried, κ.ά.
Δημοσίευση: (1968)

Theory and practice of recursive identification
από: Ljung, Lennart
Δημοσίευση: (1983)

The undecidable :
Δημοσίευση: (1965)

Recursion sequences
από: Markushevich, A. I. (Alekseaei Ivanovich), 1908-1979
Δημοσίευση: (1975)

Θεμελιώσεις επιστήμης Η
Δημοσίευση: (2001)

Η θεωρία επαναληπτικής ωφελιμότητας (Recursive utility) και οι εφαρμογές της στα χρηματοοικονομικά :
από: Λουκατάρη, Αλεξάνδρα
Δημοσίευση: (2005)

The Exact Hausdorff Dimension in Random Recursive Constructions
από: Graf, Siegfried 1949-
Δημοσίευση: (1988)

Βέλτιστος έλεγχος παραγωγής και διάθεσης αποθεμάτων σε συστήματα παραγωγής με ποικιλία πελατών και κόστος ποιότητας
από: Γιαννακοπούλου, Αικατερίνη
Δημοσίευση: (2015)

Μελέτη στην ασφάλεια των αναλυτών και προωθητών DNS
από: Κόπανος, Παναγιώτης, κ.ά.
Δημοσίευση: (2015)

Communication theory
από: Goldie, Charles M.
Δημοσίευση: (1991)