A Decision Making Tool for Mathematics Curricula Formal Verification

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

Editorial: Springer Suiza

ISBN: 978-3-030-86908-3

Año de publicación: 2022

Páginas: 77-88

Tipo: Capítulo de Libro