Thèse de doctorat (2021)
 Document en libre accès dans PolyPublie |
|
Libre accès au plein texte de ce document Conditions d'utilisation: Tous droits réservés Télécharger (2MB) |
| Département: | Département de génie informatique et génie logiciel |
|---|---|
| Programme: | Génie informatique |
| Directeurs ou directrices: | Michel Gagnon et Philippe R. Richard |
| URL de PolyPublie: | https://publications.polymtl.ca/9090/ |
| Université/École: | Polytechnique Montréal |
| Date du dépôt: | 25 nov. 2021 14:34 |
| Dernière modification: | 01 avr. 2026 07:27 |
| Citer en APA 7: | Font, L. (2021). Génération automatique de preuves pour un logiciel tuteur en géométrie [Thèse de doctorat, Polytechnique Montréal]. PolyPublie. https://publications.polymtl.ca/9090/ |
|---|---|
Statistiques
Total des téléchargements à partir de PolyPublie
Téléchargements par année
Provenance des téléchargements
Actions réservées au personnel
|
Afficher document |
