Publikationen

Stephan Baumann

In: Proceedings of the Contactforum on Digital libraries for musical audio (Perspectives and tendencies in digitalization, conservation, management …

Stephan Baumann

In: Inspirational Ideas at International Computer Music Conference (ICMC 2005. International Computer Music Conference (ICMC), 2005.

Andreas Abecker; Ludger van Elst; Steffen Staab

In: Klaus-Dieter Althoff; Andreas Dengel; Ralph Bergmann; M. Nick; Thomas Roth-Berghofer (Hrsg.). Professional Knowledge Management: Third Biennial …

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.

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). …