ihpc labo : Connectez-vous pour contacter le contributeur
https://shs.hal.science/halshs-01181549
Soumis le : jeudi 30 juillet 2015-10:55:58
Dernière modification le : vendredi 12 mai 2023-03:43:21
Dates et versions
Identifiants
- HAL Id : halshs-01181549 , version 1
Citer
Dominique Descotes. Le raisonnement par induction complète. 2015. ⟨halshs-01181549⟩
Collections
40
Consultations
0
Téléchargements