Une interface pour Dedukti

Type de document :
Mémoires d'étudiants -- Hal-inria+
Informatique [cs]. 2018
Liste complète des métadonnées

https://hal.inria.fr/hal-01898401
Contributeur : Ismaïl Lachheb <>
Soumis le : mercredi 24 octobre 2018 - 08:58:42
Dernière modification le : vendredi 18 janvier 2019 - 13:22:02
Document(s) archivé(s) le : vendredi 25 janvier 2019 - 13:12:55

Fichier

Une_interface_pour_Dedukti___D...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01898401, version 1

Citation

Ismaïl Lachheb. Une interface pour Dedukti. Informatique [cs]. 2018. 〈hal-01898401〉

Partager

Métriques

Consultations de la notice

33

Téléchargements de fichiers

59