Libro: Proof Technology in Mathematics Research and Teaching

Publisher: Springer, Cham

 Year of publication: 2019

No. of pages: 22

Pages: 215 a 236

Publication type: Book part

 DOI: 10.1007/978-3-030-28483-1_10

ISBN: 978-3-030-28482-4

 Spanish project: MTM2017-88796-P

Publication Url: https://doi.org/10.1007/978-3-030-28483-1_10

Consult in Library