Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1996
Remove all filters
Displaying results 21 to 30 of 80.

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

    First steps from workflow management systems towards enterpriseware

    In: Proc. Workshop "Coordinating Work Processes", University of Kaiserslautern, Kaiserslautern, 22. - 23. 8.1996. Workshop "Coordinating Work Processes", 1996.

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

  3. Hans-Jürgen Bürckert

    Induktion

    In: Gerhard Strube (Hrsg.). Wörterbuch der Kognitionswissenschaft. Pages 265-266, Klett-Kotta, 1996.

  4. Hans-Jürgen Bürckert

    Deduktion

    In: Gerhard Strube (Hrsg.). Wörterbuch der Kognitionswissenschaft. Pages 112-113, Klett-Kotta, 1996.

  5. Hans-Jürgen Bürckert

    Abduktion

    In: Gerhard Strube (Hrsg.). Wörterbuch der Kognitionswissenschaft. Page 8, Klett-Kotta, 1996.

  6. Heiko Mantel

    Eine Matrixcharakterisierung für ein Fragment der linearen Logik

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

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

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

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

  10. Dieter Hutter; David McAllister; Christoph Walther

    Workshop on Automation of Proofs by Mathematical Induction

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

Year