Transformations logiques pour SMTCoq
Domaines
Informatique [cs]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| licence |
Mémoire D'étudiant
Année : 2020
Louise Dubois de Prisque : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-04486654
Soumis le : lundi 4 mars 2024-15:29:06
Dernière modification le : vendredi 17 mai 2024-16:22:05
Dates et versions
Licence
Identifiants
- HAL Id : hal-04486654 , version 1
Citer
Louise Dubois de Prisque. Transformations logiques pour SMTCoq. Informatique [cs]. 2020. ⟨hal-04486654⟩
Collections
30
Consultations
9
Téléchargements