TY  - GEN
AU  - López Rincón, María Del Carmen
AU  - Sarabia Álvarez-Ude, Eduardo Jaime
AU  - García Ortea, Enrique
AU  - Otero Ruiz de Alegría, María
AU  - Conde Borrego, Violeta
PY  - 2019
UR  - https://hdl.handle.net/20.500.14352/14950
LA  - spa
KW  - Lógica
KW  - Ludificación
KW  - Gamificación
KW  - Aprendizaje asistido por ordenador
KW  - Enseñanza de lógica
KW  - Lógica de primer orden
KW  - Logic
KW  - Logic learning
KW  - Gamification
KW  - Computer assisted logic learning
KW  - Teaching logic
KW  - First order logic
TI  - Desarrollo, integración y evaluación de técnicas de ludificación (gamification) en un entorno virtual de aprendizaje de lógica
TY  - teaching innovation project
ER  -