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 : samedi 27 octobre 2018 - 01:11:21

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

2

Téléchargements de fichiers

5