Ludovic Font, Sébastien Cyr, Philippe R. Richard, Michel Gagnon
Communication écrite (2019)
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:
8th International Workshop on Theorem Proving Components for Educational Software, (ThEdu 2019)
Lieu de la conférence:
Natal, Brazil
Date(s) de la conférence:
2019-08-25
Maison d'édition:
Open Publishing Association
DOI:
URL officielle:
OAI:
oai:publications.polymtl.ca:45137
ORCID
Date du dépôt:
18 avr. 2023 15:00
Dernière modification:
14 oct. 2026 13:58
Citer en APA 7:
Font, L., Cyr, S., Richard, P. R., & Gagnon, M. (août 2019). Automating the generation of high school geometry proofs using Prolog in an educational context [Communication écrite]. 8th International Workshop on Theorem Proving Components for Educational Software, (ThEdu 2019), Natal, Brazil (16 pages). https://doi.org/10.4204/eptcs.313.1
Statistiques
Dimensions
