Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2004
Alle Filter entfernen
Zeige Ergebnisse 41 bis 50 von 270.

  1. 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.

  2. 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 (Telematika), Moskow, 2004.

  3. 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 Hypermedia, AH-2004: Workshop Proceedings, Part II, CS-Report 04-19. Augmented Human International Conference (AH-2004), Pages 455-460, Technische Universiteit Eindhoven, 2004.

  4. 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). German Conference on Artificial Intelligence (KI), September 20-24, Ulm, Germany, Pages 84-98, Lecture Notes in Computer Science (LNCS), Vol. 3238, No. 2004-03, ISBN 3-540-23166-8, Springer, Berlin, 9/2004.

  5. Andreas Meier; Erica Melis

    Failure Reasoning in Multiple-Strategy Proof Planning

    In: M.P. Bonacina; T. Boy de la Tour (Hrsg.). Proceedings of Workshop ``Strategies in Automated Deduction'' at the Second International Joint Conference on Automated Reasoning (IJCAR2004). International Joint Conference on Automated Reasoning (IJCAR), Cork, Pages 93-105, 7/2004.

  6. Andreas Meier; Erica Melis; Martin Pollet

    Adaptable Mixed-Initiative Proof Planning for Educational Interaction

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

  7. Erica Melis

    Errors as a Source of Learning in Mathematics

    In: Cognition and Exploratory Learning in the Digital Age (CELDA). IADIS International Conference Cognition and Exploratory Learning in Digital Age (CELDA), Lisabon, 2004.

  8. Erica Melis; Giorgi Goguadze

    Towards Adaptive Generation of Faded Examples

    In: J. Lester; R. Vicari; F. Paraguacu (Hrsg.). International Conference on Intelligent Tutoring Systems. International Conference on Intelligent Tutoring Systems (ITS), Pages 762-771, LNCS, No. 3220, Springer, 2004.

  9. Erica Melis; Andreas Meier; Martin Pollet

    Adaptive Access to a Proof Planner

    In: A. Asperti; G. Bancerek; A. Trybulec (Hrsg.). Proceedings of Third International Conference on Mathematical Knowledge Management (MKM2004). International Conference on Mathematical Knowledge Management (MKM), Bialowieza, Pages 251-264, LNCS, No. 3119, Springer, 9/2004.

  10. Erica Melis; R. Monthienvichienchai

    They Call It Learning Style But It's so Much More

    In: G. Marks (Hrsg.). Proceedings of the World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education (eLearn-2004). World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education (eLearn-2004), 2004.

Jahr