Henri Lombardi : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03519512
Soumis le : lundi 10 janvier 2022-15:03:12
Dernière modification le : mardi 30 avril 2024-15:56:02
Citer
Henri Lombardi, Thierry Coquand, Claude Quitté, Claire Tête. Résolutions libres finies. Méthodes constructives. 2018. ⟨hal-03519512⟩
Collections
23
Consultations
0
Téléchargements