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.
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, Springer, 5/2003.
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 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.
Giorgi Goguadze; Erica Melis; Viktor Izhutkin; Y. Isulanov
In: H.G.Bock; W. Domschke; R. Fahrion; M. Juenger; H. Kogelschatz; G.D. Liesegang; G. Reinelt; F. Rendl; G. Waescher (Hrsg.). Operations Research 2003, Annual Conference of the german Operations Research Society. Annual Conference of the German Operations Research Society (Operations Research), Heidelberg, Page 159, 2003.
Giorgi Goguadze; Erica Melis; Carsten Ullrich; Paul Cairns
In: A. Asperti; B. Buchberger; J. H. Davenport (Hrsg.). Proceedings of Second International Conference on Mathematical Knowledge Management. International Conference on Mathematical Knowledge Management (MKM-2003), February 16-18, Bertinoro, Italy, Pages 80-92, Lecture Notes in Computer Science (LNCS), Vol. 2594, ISBN 0302-9743 (Print) 1611-3349 (Online), Springer-Verlag, 2003.
Paul Libbrecht; Carsten Ullrich; Stefan Winterstein
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.
