Erica Melis; Jochen Büdenbender; Giorgi Goguadze; Paul Libbrecht; Carsten Ullrich
In: Annals of Mathematics and Artificial Intelligence, Vol. 38 - Special Issue on Management of Mathematical Knowledge, No. 1-3, Pages 47-64, …
Erica Melis; Giorgi Goguadze; Paul Libbrecht; I. Normann; Carsten Ullrich; Stefan Winterstein
In: Online Educa, 9th International Conference on technology Supported Learning and Training. International Conference on Technology Supported …
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 …
Erica Melis; Carsten Ullrich
In: U. Hoppe; F. Verdejo; J. Kay (Hrsg.). AI in Education, AIED-2003. International Conference on Artificial Intelligence in Education (AIED), Pages …
Erica Melis; Markus Weber
In: Proceedings of the World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education (eLearn-2003). World Conference on …
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, …
In: Paul de Bra (Hrsg.). Workshop on Adaptive Hypermedia and Adaptive Web-Based Systems. Augmented Human International Conference (AH-2003), May 20, …
Martin Pollet; Erica Melis; Andreas Meier
In: Proceedings of the International Workshop on User Interfaces for Theorem Provers (UITP). Workshop on User Interfaces for Theorem Provers (UITP), …
Carsten Ullrich
In: R. Tolksdorf; R. Eckstein (Hrsg.). Proceedings of Berliner XML Tage 2003. Berliner XML Tage, Pages 467-473, 2003.
