Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 51 bis 60 von 182
  1. Erica Melis; Eric Andres; Giorgi Goguadze; Paul Libbrecht; Martin Pollet; Carsten Ullrich

    ActiveMath: System Description

    In: Johanna D. Moore; Carol Redfield; W. Lewis Johnson (Hrsg.). Artificial Intelligence for Education (AIED), Vol. 68 - Frontiers in Artificial …

  2. Erica Melis; Eric Andres; Jochen Büdenbender; Adrian Frischauf; Giorgi Goguadze; Paul Libbrecht; Martin Pollet; Carsten Ullrich

    ActiveMath: A Generic and Adaptive Web-Based Learning Environment

    In: International Journal on Artificial Intelligence in Education (IJAIED), Vol. 12, No. 4, Pages 385-407, 2001.

  3. Erica Melis; Jochen Büdenbender; Giorgi Goguadze; Paul Libbrecht; Carsten Ullrich

    Knowledge Representation and Management in ActiveMath

    In: LLWA - Tagungsband der GI-Workshopwoche "Lernen - Lehren - Wissen - Adaptivität". GI-Workshop-Tage "Lernen, Wissen, Adaption" (LWA), Pages …

  4. Ein Vorschlag zur Spezifikation von Fachkomponenten auf der Administrations-Ebene

    In: Klaus Turowski (Hrsg.). Modellierung und Spezifikation von Fachkomponenten: 2. Workshop im Rahmen der vertIS (verteilte Informationssysteme auf …

  5. Der Referenzmodellkatalog - Ein Instrument des Wissensmanagement

    In: Fachtagung Referenzmodellierung (RefMod). Fachtagung Referenzmodellierung (RefMod), Dresden, 2001.

  6. Zur Klassifikation von Patterns

    In: Organisatoren der Net.ObjectDays (Hrsg.). Net.ObjectDays 2001 - Tagungsband, 10. - 13. September 2001, Messekongresszentrum Erfurt, ISBN …

  7. Jörg Ackermann; Frank Brinkop; Stefan Conrad; Peter Fettke; Andreas Frick; Ulrich Klein; Otto Kotlar; Peter Loos; Erich Ortner; Stephan Sahm; Andreas Schmietendorf; Klaus Turowski

    Memorandum zur Vereinheitlichung der Spezifikation von Fachkomponenten (Version vom 16.7.2001)

    2001.

  8. A Pragmatic Approach to Reuse in Tactical Theorem Proving

    In: Maria Paola Bonacina; Bernhard Gramlich (Hrsg.). Electronic Notes in Theoretical Computer Science, Vol. 58, Elsevier Science Publishers, 2001.