Malte Hübner; Serge Autexier; Christoph Benzmüller; Andreas Meier
In: Electronic Notes in Theoretical Computer Science, Vol. 103, No. C, Pages 161-181, Elsevier, 12/2004.
Viktor Izhutkin; Erica Melis; Vera Toktarova; Giorgi Goguadze
In: Telematika 2004. Conference on communication infrastructure and telematics for cities, municipalities and regions of the Czech Republic …
Paul Libbrecht
In: Alexandra Cristea; Franca Garzotto (Hrsg.). Proceedings of the Second International Workshop on Authoring Adaptive and Adaptable Educational …
Andreas Meier; Erica Melis
In: Susanne Biundo; Thom Frühwirth; Günther Palm (Hrsg.). Poster Proceedings of 27th Annual German Conference on Artificial Intelligence (KI 2004). …
In: M.P. Bonacina; T. Boy de la Tour (Hrsg.). Proceedings of Workshop ``Strategies in Automated Deduction'' at the Second International Joint …
Andreas Meier; Erica Melis; Martin Pollet
In: Electronic Notes in Theoretical Computer Science, Vol. 103, No. C, Pages 105-120, Elsevier, 12/2004.
Erica Melis
In: Cognition and Exploratory Learning in the Digital Age (CELDA). IADIS International Conference Cognition and Exploratory Learning in Digital Age …
Erica Melis; Giorgi Goguadze
In: J. Lester; R. Vicari; F. Paraguacu (Hrsg.). International Conference on Intelligent Tutoring Systems. International Conference on Intelligent …
Erica Melis; Andreas Meier; Martin Pollet
In: A. Asperti; G. Bancerek; A. Trybulec (Hrsg.). Proceedings of Third International Conference on Mathematical Knowledge Management (MKM2004). …
Erica Melis; R. Monthienvichienchai
In: G. Marks (Hrsg.). Proceedings of the World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education (eLearn-2004). …
