Cargando…

Proof technology in mathematics research and teaching

Detalles Bibliográficos
Autores principales: Hanna, Gila, Reid, David A, de Villiers, Michael
Lenguaje:eng
Publicado: Springer International Publishing AG 2019
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2755193