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 91 bis 100 von 609
  1. Sergey Sosnovsky; Andrey Girenko

    Math-Bridge Project Business Model and Plan for Exploitation

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

  2. Sergey Sosnovsky

    Math-Bridge Project: Progress Report #5.

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

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

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

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

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

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

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

  9. Keynote: Context to the People

    In: Pervasive Computing and Communications (PerCom), 2012 IEEE International Conference on. IEEE International Conference on Pervasive Computing and …

  10. Judy Kay; Paul Lukowicz; Hideyuki Tokuda; Patrick Olivier; Antonio Krüger (Hrsg.)

    Pervasive Computing: 10th International Conference. Proceedings

    International Conference on Pervasive Computing (Pervasive-2012), 10th, June 18-22, Newcastle, United Kingdom, ISBN 978-3-642-31204-5, Springer, …