Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 81 bis 90 von 270
  1. P. Jermann; Martin Mühlenbrock; A. Martínez

    An Introduction to Designing Computational Models of Collaborative Learning Interaction

    In: Proceedings of The 2nd International Workshop on Designing Computational Models of Collaborative Learning Interaction in conjunction with ITS …

  2. Malte Hübner; Serge Autexier; Christoph Benzmüller; Andreas Meier

    Interactive Theorem Proving with Tasks

    In: Electronic Notes in Theoretical Computer Science, Vol. 103, No. C, Pages 161-181, Elsevier, 12/2004.

  3. Viktor Izhutkin; Erica Melis; Vera Toktarova; Giorgi Goguadze

    Interactive Education Methods for the Solution of Extremal Tasks with the Help of the Learning System ActiveMath

    In: Telematika 2004. Conference on communication infrastructure and telematics for cities, municipalities and regions of the Czech Republic …

  4. Paul Libbrecht

    Authoring Web Content in ActiveMath: From Developer Tools and Further

    In: Alexandra Cristea; Franca Garzotto (Hrsg.). Proceedings of the Second International Workshop on Authoring Adaptive and Adaptable Educational …

  5. Andreas Meier; Erica Melis

    Meta Reasoning in Multiple-Strategy Proof Planning

    In: Susanne Biundo; Thom Frühwirth; Günther Palm (Hrsg.). Poster Proceedings of 27th Annual German Conference on Artificial Intelligence (KI 2004). …

  6. August-Wilhelm Scheer; Dirk Werth; Timo Kahl; Gunnar Martin

    Lösungen für das Unternehmen von morgen - Next Generation Business

    In: IM - Fachzeitschrift für Information Management & Consulting, 2004.

  7. Grigori Melnik; Harald Holz (Hrsg.)

    Advances in Learning Software Organizations, 6th International Workshop, LSO 2004, Banff, Canada, June 20-21, 2004

    International Workshop on Learning Software Organizations (LSO), Lecture Notes in Computer Science, Vol. 3096, Springer, 2004.

  8. Gregor Büchel; Bertin Klein; Thomas Roth-Berghofer (Hrsg.)

    First International Workshop on Philosophy and Informatics

    International Workshop on Philosophy and Informatics, 2004.

  9. S. Marinai; Andreas Dengel

    Document Analysis VI

    Vol. Proceedings 6th Inter’l Workshop on Document Analysis Systems (D, Springer Publ. 9/2004.