Résultat(s) 1 - 1 résultats de 1 pour la requête '"proof processing systems"', Temps de recherche: 0,24s Affiner les résultats
  1. 1
    La théorie des types et les systèmes informatiques de traitement de démonstrations mathématiques
    Sujets: “...proof processing systems...”
    Accès Université d'Orléans et IFPM
    Accès Université d'Orléans et IFPM
    Article ou chapitre numérique

    Ajouter aux favoris
    Enregistré dans:
Outils de recherche: S'abonner aux flux RSS – Envoyer cette recherche par courriel – Enregistrer la recherche