Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1996
Alle Filter entfernen
Zeige Ergebnisse 31 bis 40 von 80.

  1. Georg Schneider; Heiko Maus; Clemens Dietel; Astrid Scheller-Houy; Jean Schweitzer

    Concepts for a flexibilisation of workflow management systems with respect to task adaptable solutions

    In: Daniel E. O'Leary; Paul Watkins (Hrsg.). AAAI Workshop: AI in business - AI in electronic Commerce and Reengineering. AAAI Workshops, 1996.

  2. Dieter Hutter; Claus Sengler

    INKA: The Next Generation

    In: Michael A. McRobbie; John K. Slaney (Hrsg.). Proceedings of the 13th International Conference on Automated Deduction - CADE-13. International Conference on Automated Deduction (CADE), 13th, July 30 - August 3, New Brunswick, NJ, USA, Pages 288-292, Lecture Notes in Computer Science (LNCS), Vol. 1104, ISBN 978-3-540-61511-8, Springer-Verlag, Berlin, Heidelberg, 1996.

  3. Dieter Hutter; Claus Sengler

    The Graphical User Interface of INKA

    In: Nicholas A. Merriam (Hrsg.). Proceedings International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-96), July 19, York, United Kingdom, Pages 43-50, N. Merriam, 1996.

  4. Susanne Biundo; Werner Stephan

    Modelling Planning Domains Systematically

    In: Wolfgang Wahlster (Hrsg.). Proceedings of the 12th European Conference on Artificial Intelligence 96. European Conference on Artificial Intelligence (ECAI-96), 12th, August 11-16, Budapest, Hungary, Pages 599-603, John Wiley & Sons, 1996.

  5. Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers

    Deduction in the Verification Support Environment (VSE)

    In: J. Woodcock; M. C. Gaudel (Hrsg.). Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in Formal Methods. Formal Methods Europe (FME-96), 3rd, March 17-21, Oxford, United Kingdom, Pages 168-286, Lecture Notes In Computer Science (LNCS), Vol. 1051, ISBN 3-540-60973-3, Springer-Verlag, London, UK, 1996.

  6. Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers

    Verification Support Environment (VSE)

    In: Journal of High Integrity Systems, Vol. 1, No. 6, Pages 523-530, Oxford University Press, 1996.

  7. Dieter Hutter; David McAllister; Christoph Walther

    Workshop on Automation of Proofs by Mathematical Induction

    13th Conference on Automated Deduction, New Brunswick, USA, 1996.

  8. Heiko Mantel

    Eine Matrixcharakterisierung für ein Fragment der linearen Logik

    Mastersthesis, TH-Darmstadt, Germany, 12/1996.

  9. Rolf Backofen; Tilman Becker; Jo Calder; Joanne Capstick; Luca Dini; Jochen Dörre; Gregor Erbach; Dominique Estival; Suresh Manandhar; Anne-Marie Mineur; Gertjan van Noord; Stephan Oepen; Hans Uszkoreit

    The EAGLES Formalisms Working Group - Final Report Expert Advisory Group on Language Engineering Standards

    LRE, Vol. 61-100, 1996.

  10. Wojciech Skut

    Finite Automata for Processing Word Order

    In: Workshop on Extended Finite State Models of Language (ECAI '96), August 12-16. European Conference on Artificial Intelligence (ECAI), Budapest, Hungary, von Neumann Society of Computer Science, 1996.

Jahr