TY  - JOUR
AU  - Roanes Lozano, Eugenio
AU  - Martínez Zarzuelo, Angélica
AU  - Fernández Díaz, María Josefa
PY  - 2020
DO  - 10.1155/2020/3485846
SN  - 1024-123X
UR  - https://hdl.handle.net/20.500.14352/112496
T2  - Mathematical Problems in Engineering
AB  - The authors present a theoretical proposal for the organization of mathematical contents, more precisely to curricula development formalization and formal verification, inspired by knowledge engineering techniques. The situation addressed is the...
LA  - eng
M2  - 1
PB  - John Wiley & Sons
KW  - Curricula
KW  - Expert systems
KW  - Knowledge management
KW  - Textbooks
KW  - Curricula development
KW  - Curriculum development
KW  - Engineering techniques
KW  - Mathematics curricula
KW  - Mathematics teachings
KW  - Primary and secondary education
KW  - Rule based expert systems
TI  - An application of knowledge Engineering to Mathematics curricula organization and formal verification
TY  - journal article
VL  - 2020
ER  -