A Decision Making Tool for Mathematics Curricula Formal Verification

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

Verlag: Springer Suiza

ISBN: 978-3-030-86908-3

Datum der Publikation: 2022

Seiten: 77-88

Art: Buch-Kapitel