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.
Revista:
Mathematical Problems in Engineering

ISSN: 1563-5147,  1024-123X

Año de publicación: 2020

Volumen: 2020

Tipo: Artículo

DOI: 10.1155/2020/3485846 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus