Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εμφανίζονται 1 - 17 Αποτελέσματα από 17 για την αναζήτηση '', χρόνος αναζήτησης: 0,01δλ Περιορισμός αποτελεσμάτων
  1. 1
    The undecidable :

    The undecidable :

    Δημοσίευση 1965
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  2. 2
    Algorithmen, rekursive funktionen und formaler sprachen

    Algorithmen, rekursive funktionen und formaler sprachen από Brauer, Wilfried, Indermark, Klaus

    Δημοσίευση 1968
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  3. 3
    A recursive introduction to the theory of computation

    A recursive introduction to the theory of computation από Smith, Carl H. 1950-

    Δημοσίευση 1994
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  4. 4
    Hierarchies of predicates of finite types

    Hierarchies of predicates of finite types από Clarke, Douglas Albert

    Δημοσίευση 1964
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  5. 5
    Recursive methods in economic dynamics

    Recursive methods in economic dynamics από Stokey, Nancy L.

    Δημοσίευση 1989
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  6. 6
    Recursive Function Theory

    Recursive Function Theory

    Δημοσίευση 1962
    Πρακτικό Συνεδρίου Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  7. 7
    Degrees of unsolvability

    Degrees of unsolvability από Sacks, Gerald E.

    Δημοσίευση 1966
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  8. 8
    Elementary induction on abstract structures

    Elementary induction on abstract structures από Μοσχοβάκης, Γιάννης Ν., 1938-

    Δημοσίευση 2008
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  9. 9
    Theory of formal systems

    Theory of formal systems από Smullyan, Raymond M.

    Δημοσίευση 1961
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  10. 10
    Formalized recursive functionals and formalized realizability

    Formalized recursive functionals and formalized realizability από Kleene, Stephen Cole 1909-

    Δημοσίευση 1969
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  11. 11
    The foundations of intuitionistic mathematics :

    The foundations of intuitionistic mathematics : από Kleene, Stephen Cole 1909-

    Δημοσίευση 1965
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  12. 12
    Minimal degrees of unsolvability and the full approximation construction

    Minimal degrees of unsolvability and the full approximation construction από Epstein, Richard L. 1947-

    Δημοσίευση 1975
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  13. 13
    Stochastic approximation and recursive algorithms and applications

    Stochastic approximation and recursive algorithms and applications από Kushner, Harold J. (Harold Joseph) 1933-

    Δημοσίευση 2003
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  14. 14
    The calculi of lambda-conversion

    The calculi of lambda-conversion από Church, Alonzo 1903-1995

    Δημοσίευση 1951
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  15. 15
    Recursive algorithms

    Recursive algorithms από Lorentz, Richard

    Δημοσίευση 1994
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  16. 16
    A decision method for elemantary algebra and goemetry

    A decision method for elemantary algebra and goemetry από Tarski, Alfred

    Δημοσίευση 1951
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  17. 17
    Rekursive Folgen

    Rekursive Folgen από Markushevich, A. I. (Alekseaei Ivanovich), 1908-1979

    Δημοσίευση 1955
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:

Εργαλεία αναζήτησης: