An Application of Knowledge Engineering to Mathematics Curricula Organization and Formal Verification

  1. Roanes-Lozano, E.
  2. Martínez-Zarzuelo, A.
  3. Fernández-Díaz, M.J.
Revue:
Mathematical Problems in Engineering

ISSN: 1563-5147 1024-123X

Année de publication: 2020

Volumen: 2020

Type: Article

DOI: 10.1155/2020/3485846 GOOGLE SCHOLAR lock_openAccès ouvert editor