Proofs in theories
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Cours
Année : 2022
Gilles Dowek : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-04057037
Soumis le : lundi 3 avril 2023-20:24:13
Dernière modification le : vendredi 17 mai 2024-16:22:05
Dates et versions
Identifiants
- HAL Id : hal-04057037 , version 1
Citer
Gilles Dowek. Proofs in theories. Master. France. 2022, pp.154. ⟨hal-04057037⟩
Collections
379
Consultations
206
Téléchargements