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

ISSN: 1563-5147 1024-123X

Datum der Publikation: 2020

Ausgabe: 2020

Art: Artikel

DOI: 10.1155/2020/3485846 GOOGLE SCHOLAR lock_openOpen Access editor