Suggestion de sujets dans votre recherche.
Résultat(s) 1 - 5 résultats de 5 pour la requête '', Temps de recherche: 0,01s Affiner les résultats
  1. 1
    Recursive analysis.
    Livre
    Ajouter aux favoris
    Enregistré dans:
  2. 2
    The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
    Actes de congrès Livre
    Publié 1980
    Ajouter aux favoris
    Enregistré dans:
  3. 3
    Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
    Actes de congrès Livre
    Publié 1978
    Ajouter aux favoris
    Enregistré dans:
  4. 4
    First-order dynamic logic /
    Livre
    par Harel, David, 1950-
    Publié 1979
    Ajouter aux favoris
    Enregistré dans:
  5. 5
    Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 /
    Actes de congrès Livre
    Publié 1977
    Ajouter aux favoris
    Enregistré dans:
Outils de recherche: S'abonner aux flux RSS – Envoyer cette recherche par courriel – Enregistrer la recherche