Publikationen

Andreas Meier; Erica Melis

In: Proceedings of The 12th Workshop on Automated Reasoning (ARW 2005)-- Bridging the gap between theory and practice. Workshop on Automated Reasoning …

Erica Melis

In: Kinshuk; D.G. Sampson; P. Isaias (Hrsg.). Cognition and Exploratory Learning in the Digital Age (CELDA 2005). IADIS International Conference …

Erica Melis

In: Dieter Hutter; Werner Stephan (Hrsg.). Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. …

Erica Melis

In: Ch.-K. Looi; G. McCalla (Hrsg.). Proceedings of the 12th International Conference on Artificial Intelligence in Education (AIED 2005). …

Erica Melis; Eric Andres

In: Journal of Computers in Mathematics and Science Teaching, Vol. 24, Pages 197-220, 2005.

Erica Melis; Philipp Kärger; Martin Homik

In: Jörg M. Haake; Ulrich Lucke; Djamshid Tavangarian (Hrsg.). Delfi 2005: 3. Deutsche eLearning Fachtagung Informatik. e-Learning Conference of the …

Erica Melis; Jörg Siekmann

In: S. Artemov; H. Barringer; A.d'Avila Garcez; L.C. Lamb; J. Woods (Hrsg.). We will Show Them! Essays in Honor of Dov Gabbay on his 60th Birthday. …

Martin Mühlenbrock

In: Proceedings of the ProLearn-iClass Thematic Workshop. ProLearn-iClass Thematic Workshop, Leuven, 3/2005.

Martin Mühlenbrock

In: Chee-Kit Looi; Gord McCalla (Hrsg.). Proceedings of the 12th International Conference on Artificial Intelligence in Education AIED-2005. …

Martin Mühlenbrock

In: Proceedings of the workshop on Usage Analysis in Learning Systems at the 12th International Conference on Artificial Intelligence in Education …