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 : jeudi 28 novembre 2024-14:52:02
Archivage à long terme le : mercredi 5 juin 2024-18:10:16
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
88
Consultations
22
Téléchargements