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

ISSN: 1563-5147,  1024-123X

Argitalpen urtea: 2020

Alea: 2020

Mota: Artikulua

DOI: 10.1155/2020/3485846 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus