Alexander Löffler; Dieter Wallach
In: 7. Fachtagung Gesellschaft für Kognitionswissenschaft (KogWis 05). Fachtagung der Gesellschaft für Kognitionswissenschaft (KogWis), 7. September …
David Aspinall; Christoph Lüth; Burkhart Wolff
In: Michael Kohlhase (Hrsg.). 4th International Conference on Mathematical Knowledge Management (MKM 2005). International Conference on Mathematical …
Anthony Jameson; Barbara Großmann-Hutter; Christian Müller; Frank Wittig; Jürgen Kiefer; Ralf Rummer
In: Proceedings of the Second International Workshop on Modeling and Retrieval of Context. International Workshop on Modeling and Retrieval of Context …
Christian Müller
PhD-Thesis, Computer Science Institute, University of the Saarland, Germany, 2005.
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.