机译:An Application of Knowledge Engineering to Mathematics Curricula Organization and Formal Verification
Univ Complutense Madrid, Inst Matemat Interdisciplinar IMI, Madrid, Spain|Univ Complutense Madrid, Fac Educ, Dept Didact Ciencias Expt Sociales & Matemat, Madrid, Spain;
Univ Complutense Madrid, Fac Educ, Dept Didact Ciencias Expt Sociales & Matemat, Madrid, Spain;
Univ Complutense Madrid, Dept Invest & Psicol Educ, Fac Educ, Madrid, Spain;