A Decision Making Tool for Mathematics Curricula Formal Verification

  1. Eugenio Roanes-Lozano
  2. Angélica Martínez-Zarzuelo
Liburua:
Mathematics education in the age of Artificial Intelligence: How Artificial Intelligence can serve mathematical human learning
  1. Philipe R Richard (coord.)
  2. M. Pilar Vélez (coord.)
  3. Steven (coord.)

Argitaletxea: Springer Suiza

ISBN: 978-3-030-86908-3

Argitalpen urtea: 2022

Orrialdeak: 77-88

Mota: Liburuko kapitulua