Suggestion de sujets dans votre recherche.
Résultat(s) 1 - 16 résultats de 16 pour la requête '', Temps de recherche: 0,02s Affiner les résultats
  1. 1
    Computability : an introduction to recursive function theory /
    Livre
    par Cutland, Nigel
    Publié 1980
    Table of contents
    Publisher description
    Ajouter aux favoris
    Enregistré dans:
  2. 2
    Elementary induction on abstract structures /
    Livre
    par Moschovakis, Yiannis N.
    Publié 1974
    Ajouter aux favoris
    Enregistré dans:
  3. 3
    Computability with PASCAL /
    Livre
    par Mallozzi, John S.
    Publié 1984
    Ajouter aux favoris
    Enregistré dans:
  4. 4
    Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
    Actes de congrès Livre
    Publié 1977
    Ajouter aux favoris
    Enregistré dans:
  5. 5
    Degrees of unsolvability.
    Livre
    Ajouter aux favoris
    Enregistré dans:
  6. 6
    The medvedev lattice of degrees of difficulty /
    Livre
    par Poulsen, Birgit Truust
    Publié 1970
    Ajouter aux favoris
    Enregistré dans:
  7. 7
    Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen.
    Livre
    par Hermes, Hans
    Publié 1961
    Ajouter aux favoris
    Enregistré dans:
  8. 8
    Recursive procedures /
    Livre
    Ajouter aux favoris
    Enregistré dans:
  9. 9
    The foundations of intuitionistic mathematics, especially in relation to recursive functions /
    Livre
    par Kleene, Stephen Cole, 1909-
    Publié 1965
    Ajouter aux favoris
    Enregistré dans:
  10. 10
    Theory of recursive functions and effective computability.
    Livre
    par Rogers, H. (Hartley), 1926-
    Publié 1967
    Ajouter aux favoris
    Enregistré dans:
  11. 11
    Introduction to the theory of computation.
    Livre
    par Engeler, Erwin
    Publié 1973
    Ajouter aux favoris
    Enregistré dans:
  12. 12
    Recursivite /
    Livre
    par Azra, Jean-Pierre
    Publié 1973
    Ajouter aux favoris
    Enregistré dans:
  13. 13
    Minimum impatience theorems for recursive economic models /
    Livre
    par Sorger, Gerhard, 1961-
    Publié 1992
    Ajouter aux favoris
    Enregistré dans:
  14. 14
    Formal systems and recursive functions : proceedings /
    Actes de congrès Livre
    Publié 1965
    Ajouter aux favoris
    Enregistré dans:
  15. 15
    Recursive function theory and logic /
    Livre
    par Yasuhara, Ann
    Publié 1971
    Ajouter aux favoris
    Enregistré dans:
  16. 16
    Konstruktive Analysis.
    Livre
    par Klaua, Dieter
    Publié 1961
    Ajouter aux favoris
    Enregistré dans:
Outils de recherche: S'abonner aux flux RSS – Envoyer cette recherche par courriel – Enregistrer la recherche