Ludovic Font, Philippe R. Richard and Michel Gagnon
Paper (2017)
An external link is available for this item
| Department: | Department of Computer Engineering and Software Engineering |
|---|---|
| PolyPublie URL: | https://publications.polymtl.ca/41556/ |
| Conference Title: | 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu 2017) |
| Conference Location: | Gothenburg, Sweden |
| Conference Date(s): | 2017-08-06 |
| Journal Title: | Electronic Proceedings in Theoretical Computer Science (vol. 267) |
| DOI: | 10.4204/eptcs.267.3 |
| Official URL: | https://doi.org/10.4204/eptcs.267.3 |
| Date Deposited: | 18 Apr 2023 15:03 |
| Last Modified: | 25 Sep 2024 16:27 |
| Cite in APA 7: | Font, L., Richard, P. R., & Gagnon, M. (2017, August). Improving QED-Tutrix by automating the generation of proofs [Paper]. 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu 2017), Gothenburg, Sweden. Published in Electronic Proceedings in Theoretical Computer Science, 267. https://doi.org/10.4204/eptcs.267.3 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
