TEXmacs as Authoring Tool for Formal Developments.

Philippe Audebaud Laurence Rideau

Published in: Electron. Notes Theor. Comput. Sci. (2004)

Keyphrases

authoring tool
learning objects
intelligent tutoring systems
learning resources
learning design
video games
ims ld
adaptive hypermedia
educational content
scorm compliant
learning content
ims qti
formal methods
artificial intelligence
content creation
multimedia
web services
e learning