Tactiques de preuve dans Dedukti

Type de document :
Mémoires d'étudiants -- Hal-inria+
Logique en informatique [cs.LO]. 2017
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01661872
Contributeur : Antoine Defourné <>
Soumis le : jeudi 4 janvier 2018 - 19:54:36
Dernière modification le : jeudi 11 janvier 2018 - 06:20:14
Document(s) archivé(s) le : jeudi 5 avril 2018 - 12:25:29

Fichier

rapport_pfe_ensimag.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01661872, version 1

Citation

Antoine Defourné. Tactiques de preuve dans Dedukti. Logique en informatique [cs.LO]. 2017. 〈hal-01661872〉

Partager

Métriques

Consultations de la notice

132

Téléchargements de fichiers

55