In: Online Educa, 9th International Conference on technology Supported Learning and Training. International Conference on Technology Supported Learning & Training (Online Educa), 2003.
Erica Melis; Giorgi Goguadze; Paul Libbrecht; Carsten Ullrich
In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 17, No. 1, Pages 12-18, 2003.
In: U. Hoppe; F. Verdejo; J. Kay (Hrsg.). AI in Education, AIED-2003. International Conference on Artificial Intelligence in Education (AIED), Pages 141-147, IOS Press, 2003.
In: U. Hoppe; F. Verdejo; J. Kay (Hrsg.). AI in Education, AIED-2003. International Conference on Artificial Intelligence in Education (AIED), Pages 476-478, IOS Press, 2003.
In: Proceedings of the World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education (eLearn-2003). World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education (eLearn), 2003.
Alberto González Palomo; Paul Libbrecht; Carsten Ullrich
In: Proceedings of the Twelfth International World Wide Web Conference. International World Wide Web Conference (WWW), May 20-24, Budapest, Hungary, 2003.
Alberto González Palomo; Paul Libbrecht; Carsten Ullrich
In: Paul de Bra (Hrsg.). Workshop on Adaptive Hypermedia and Adaptive Web-Based Systems. Augmented Human International Conference (AH-2003), May 20, Pages 87-98, 2003.
In: Proceedings of the International Workshop on User Interfaces for Theorem Provers (UITP). Workshop on User Interfaces for Theorem Provers (UITP), Pages 133-142, 2003.
