Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 51 to 60 of 609.
  1. Claus-Peter Wirth

    Human-Oriented Inductive Theorem Proving by Descente Infinie - A manifesto.

    In: Logic Journal of the IGPL Oxford, Vol. 20, Oxford University Press. 12/2012.

  2. Oliver Scheuer; Bruce McLaren; F. Loll; Pinkwart N.

    Automated Analysis and Feedback Techniques to Support and Teach Argumentation: A Survey.

    In: N. Pinkwart; Bruce McLaren (Hrsg.). Educational Technologies for Teaching Argumentation Skills. Bentham Science Publishers, 2012.

  3. Oliver Scheuer; Bruce McLaren

    Educational Data Mining.

    In: Norbert M. Seel (Hrsg.). Encyclopedia of the Sciences of Learning. Pages 1075-1079, ISBN 978-1-4419-1427-9, Springer, New York, 2012.

  4. Frank Loll; Niels Pinkwart; Oliver Scheuer; Bruce McLaren

    How Tough Should It Be? Simplifying the Development of Argumentation Systems using a Configurable Platform.

    In: N. Pinkwart; Bruce McLaren (Hrsg.). Educational Technologies for Teaching Argumentation Skills. Pages 169-197, ISBN 978-1-60805-545-6, Bentham …

  5. Claus-Peter Wirth

    lim+, delta+, and Non-Permutability of beta-Steps.

    In: Journal of Symbolic Computation, Vol. 47, Pages 1109-1135, Academic Press, Elsevier, 2012.

  6. Claus-Peter Wirth

    Herbrand's Fundamental Theorem in the Eyes of Jean van Heijenoort

    In: Logica Universalis, Vol. 6, Pages 485-520, Springer Publishing House, 2012.

  7. Dimitra Tsovaltzi; Erica Melis; Bruce McLaren

    Erroneous examples: Effects on learning fractions in a web-based setting.

    In: International Journal of Technology Enhanced Learning (IJTEL), Vol. 4, Pages 191-230, Inderscience Publishers,, Geneva, SWITZERLAND, 2012.

  8. Oliver Scheuer; S. Niebuhr; Toby Dragon; Bruce McLaren; N. Pinkwart

    Adaptive Support for Graphical Argumentation - The LASAD Approach.

    In: IEEE Learning Technology Newsletter, Vol. 14, No. 1, Pages 8-11, 2012.

  9. Oliver Scheuer; Bruce McLaren; Armin Weinberger; Sabine Niebuhr

    Promoting Critical, Elaborative Discussions through a Collaboration Script and Argument maps.

    In: Instructional Science, Vol. 42, Pages 127-157, Springer, 2012.

  10. Stefan Winterstein

    Math-Bridge Project: Adaptation of the ActiveMath Platform

    Europäische Kommission, DFKI Documents (D), Vol. 1, 2012.