A Decision Making Tool for Mathematics Curricula Formal Verification
- Philipe R Richard (coord.)
- M. Pilar Vélez (coord.)
- Steven (coord.)
Publisher: Springer Suiza
ISBN: 978-3-030-86908-3
Year of publication: 2022
Pages: 77-88
Type: Book chapter
Publisher: Springer Suiza
ISBN: 978-3-030-86908-3
Year of publication: 2022
Pages: 77-88
Type: Book chapter