Calcul Formel et Preuves Formelles
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Cours
Année : 2018
Marc Mezzarobba : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04116824
Soumis le : lundi 5 juin 2023-10:20:17
Dernière modification le : mardi 27 août 2024-12:55:13
Archivage à long terme le : mercredi 6 septembre 2023-18:18:17
Citer
Assia Mahboubi. Calcul Formel et Preuves Formelles. Luminy, France. 2018, pp.1-10. ⟨hal-04116824⟩
64
Consultations
119
Téléchargements