Pedagogical informations
previous knowledge
similar-to
difficulties
abstractness
target usage
effect
on the user's knowledge model
<-
->
Semantically encoding mathematics
Dagstuhl Workshop on Rule Markup Languages
,
Paul Libbrecht
, 2002/02/07