Philippe R. Richard, Fabienne Venant and Michel Gagnon
Book Section (2019)
An external link is available for this item
| Department: | Department of Computer Engineering and Software Engineering |
|---|---|
| PolyPublie URL: | https://publications.polymtl.ca/51508/ |
| Publisher: | Springer |
| DOI: | 10.1007/978-3-030-28483-1_7 |
| Official URL: | https://doi.org/10.1007/978-3-030-28483-1_7 |
| Date Deposited: | 18 Apr 2023 15:02 |
| Last Modified: | 25 Sep 2024 16:42 |
| Cite in APA 7: | Richard, P. R., Venant, F., & Gagnon, M. (2019). Issues and challenges in instrumental proof. In Proof Technology in Mathematics Research and Teaching (Vol. 14, pp. 139-172). https://doi.org/10.1007/978-3-030-28483-1_7 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
