Publikationen

Martin Homik; Andreas Meier

Seki Report, Vol. SR-01-05, 2005.

Paul Libbrecht; E. Machuca; M. Spanbroek

In: Proceedings of the Workshop on Adaptive Systems for Web-Based Education: Tools and Reusability at AIED 2005. International Conference on Artificial Intelligence in Education (AIED), 2005.

Andreas Meier; Erica Melis

In: R. Nieuwenhuis (Hrsg.). Proceedings of the 20th Conference on Automated Deduction (CADE--20). International Conference on Automated Deduction (CADE), Tallinn, Pages 250-254, LNAI, Vol. 3632, Springer Verlag, Berlin, Germany, 2005.

Andreas Maier; Erica Melis

In: Electronic Notes in Theoretical Computer Science, Vol. 125, Pages 67-90, Elsevier, 2005.

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 (ARW), Edinburgh, 2005.

Erica Melis

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

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. Pages 364-376, LNCS, Vol. 2605, Springer-Verlag, 2005.

Erica Melis

In: Ch.-K. Looi; G. McCalla (Hrsg.). Proceedings of the 12th International Conference on Artificial Intelligence in Education (AIED 2005). International Conference on Artificial Intelligence in Education (AIED), Pages 451-458, Vol. 125, IOS Press, 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 German Computer Society (DeLFI), Rostock, Pages 247-258, LNI, Vol. 66, 9/2005.