Ludovic Font, Sebastien Cyr, Philippe R. Richard and Michel Gagnon
Paper (2020)
An external link is available for this item
| Department: | Department of Computer Engineering and Software Engineering |
|---|---|
| PolyPublie URL: | https://publications.polymtl.ca/45137/ |
| Conference Title: | 8th International Workshop on Theorem Proving Components for Educational Software, (ThEdu 2019) |
| Conference Location: | Natal, Brazil |
| Conference Date(s): | 2019-08-25 |
| Publisher: | Open Publishing Association |
| DOI: | 10.4204/eptcs.313.1 |
| Official URL: | https://doi.org/10.4204/eptcs.313.1 |
| Date Deposited: | 18 Apr 2023 15:00 |
| Last Modified: | 29 Sep 2023 14:27 |
| Cite in APA 7: | Font, L., Cyr, S., Richard, P. R., & Gagnon, M. (2019, August). Automating the generation of high school geometry proofs using Prolog in an educational context [Paper]. 8th International Workshop on Theorem Proving Components for Educational Software, (ThEdu 2019), Natal, Brazil (16 pages). https://doi.org/10.4204/eptcs.313.1 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
