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 97 von 97
  1. Rezension: Wolfgang Meyer: Expert Systems in Factory Management -- Knowledge-based CIM

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …

  2. Andreas Dengel; Frank Dubiel

    Clustering and Classification of Document Structure - A Machine Learning Approach

    In: Proceedings of the Third International Conference on Document Analysis and Recognition. International Conference on Document Analysis and …

  3. Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Marek Wójcik

    Task Acquisition with a Description Logic Reasoner

    In: Ipke Wachsmuth; Claus-Rainer Rollinger; Wilfried Brauer (Hrsg.). KI'95: Proceedings of the 19th Annual German Conference on Artificial …

  4. Dieter Hutter; Werner Stephan

    Deduction in the Verification Support Environment (VSE)

    In: A. Ireland (Hrsg.). Proceedings AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice. AISB-Workshop Automated …

  5. Using Colored Terms Everywhere

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

  6. Georg Rock

    Transformations of First-Order Formulae for Automated Reasoning

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

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