Martin Homik; Erica Melis
Deliverable, Vol. D28, 12/2005.
Paul Libbrecht; Stefan Winterstein
In: First International Kaleidoscope Learning Grid SIG Workshop on Distributed e-Learning Environments. International Kaleidoscope Learning Grid SIG …
Giorgi Goguadze; Alberto González Palomo; Erica Melis
In: C.-K. Looi; D. Jonassen; M. Ikeda (Hrsg.). Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences Sharing. …
In: In Proceedings of the 13th International Conference on Computers in Education (ICCE 2005). International Conference on Computers in Education …
Martin Homik; Andreas Meier
In: Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP2005). Workshop on User Interfaces for Theorem Provers …
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 …
Andreas Meier; Erica Melis
In: R. Nieuwenhuis (Hrsg.). Proceedings of the 20th Conference on Automated Deduction (CADE--20). International Conference on Automated Deduction …
Andreas Maier; Erica Melis
In: Electronic Notes in Theoretical Computer Science, Vol. 125, Pages 67-90, Elsevier, 2005.
In: Proceedings of The 12th Workshop on Automated Reasoning (ARW 2005)-- Bridging the gap between theory and practice. Workshop on Automated Reasoning …
