Ludovic Font, Philippe R. Richard, Michel Gagnon
Communication écrite (2017)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Département:
Adresse URL de PolyPublie:
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:
URL officielle:
OAI:
oai:publications.polymtl.ca:41556
ORCID
Date du dépôt:
18 avr. 2023 15:03
Dernière modification:
08 oct. 2026 18:02
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
