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

ISSN: 1563-5147,  1024-123X

Year of publication: 2020

Volume: 2020

Type: Article

DOI: 10.1155/2020/3485846 GOOGLE SCHOLAR lock_openOpen access editor
Data source: Scopus