Libro: Proof Technology in Mathematics Research and Teaching

Editorial: Springer, Cham

 Año de publicación: 2019

Nº de páginas: 22

Páginas: 215 a 236

Tipo de publicación: Capítulo de libro

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

ISBN: 978-3-030-28482-4

 Proyecto español: MTM2017-88796-P

Url de la publicación: https://doi.org/10.1007/978-3-030-28483-1_10

Consultar en Biblioteca