A Decision Making Tool for Mathematics Curricula Formal Verification

  1. Eugenio Roanes-Lozano
  2. Angélica Martínez-Zarzuelo
Livre:
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.)

Éditorial: Springer Suiza

ISBN: 978-3-030-86908-3

Année de publication: 2022

Pages: 77-88

Type: Chapitre d'ouvrage