Estudio, implementación y evaluación de un tutor inteligente para el aprendizaje de lógica computacional basado en modelos y apoyado en conocimiento 2011
Universidad de Valladolid
