<  Retour au portail Polytechnique Montréal

Improving QED-Tutrix by automating the generation of proofs

Ludovic Font, Philippe R. Richard et Michel Gagnon

Communication écrite (2017)

Un lien externe est disponible pour ce document
Département: Département de génie informatique et génie logiciel
URL de PolyPublie: https://publications.polymtl.ca/41556/
Nom de la conférence: 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu 2017)
Lieu de la conférence: Gothenburg, Sweden
Date(s) de la conférence: 2017-08-06
Titre de la revue: Electronic Proceedings in Theoretical Computer Science (vol. 267)
DOI: 10.4204/eptcs.267.3
URL officielle: https://doi.org/10.4204/eptcs.267.3
Date du dépôt: 18 avr. 2023 15:03
Dernière modification: 18 avr. 2023 15:03
Citer en APA 7: Font, L., Richard, P. R., & Gagnon, M. (août 2017). Improving QED-Tutrix by automating the generation of proofs [Communication écrite]. 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu 2017), Gothenburg, Sweden. Publié dans Electronic Proceedings in Theoretical Computer Science, 267. https://doi.org/10.4204/eptcs.267.3

Statistiques

Dimensions

Actions réservées au personnel

Afficher document Afficher document