Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 51 bis 60 von 97
  1. Using Colored Terms Everywhere

    In: Dagstuhl-Seminar Report, 122, IBFI GmbH. Dagstuhl Seminare/Workshops, Schloß Dagstuhl, 1995.

  2. Georg Rock

    Transformations of First-Order Formulae for Automated Reasoning

    em Masters Thesis. Max-Planck-Institut für Informatik, Germany, 4/1995.

  3. Frank Koop; Markus Ullmann; Stefan Wittmann; Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan; Andreas Wolpers; Wolfgang Reif

    The VSE development method - a way to engineer high-assurance software systems

    In: R. Gotzhein; J. Bredereke (Hrsg.). Tagungsband des 5. GI/ITG-Fachgesprächs "Formale Beschreibungstechniken für verteilte Systeme". …

  4. Hans-Jürgen Bürckert; Bernhard Nebel

    Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra

    In: Journal of the ACM (JACM), Vol. 42, No. 1, Pages 43-66, 1995.

  5. Christoph Endres; Lars Klein; Markus Meyer

    Implementierung und Erweiterung der Sprache ALCP

    DFKI, DFKI Documents (D), Vol. 95-03, 3/1995.

  6. Mit Spitzenforschungs auf Erfolgskurs

    UNI-Spectrum No. 6/95, 10/1995.

  7. Richard Crouch; Robert Gaizauskas; Klaus Netter

    Report of the Study Group on Assessment and Evaluation

    Interim Report, DFKI, o.A. 1995.

  8. Stephan Busemann; Hans-Joachim Novak

    Generierung natürlicher Sprache

    In: Günther Görz (Hrsg.). Einführung in die Künstliche Intelligenz. Pages 492-540, Addison-Wesley, Bonn, 1995.