Due to maintenance work, it is currently not possible to search for publications by author.
Dieter Hutter; Claus Sengler
In: Michael A. McRobbie; John K. Slaney (Hrsg.). Proceedings of the 13th International Conference on Automated Deduction - CADE-13. International …
In: Nicholas A. Merriam (Hrsg.). Proceedings International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem …
Georg Schneider; Heiko Maus; Clemens Dietel; Astrid Scheller-Houy; Jean Schweitzer
In: Proc. Workshop "Coordinating Work Processes", University of Kaiserslautern, Kaiserslautern, 22. - 23. 8.1996. Workshop "Coordinating Work …
In: Daniel E. O'Leary; Paul Watkins (Hrsg.). AAAI Workshop: AI in business - AI in electronic Commerce and Reengineering. AAAI Workshops, 1996.
Ansgar Bernardi; Bernd Bachmann; Anna-Maria Schoeller
In: D. Ruland (Hrsg.). Tagungsband CAD'96: Verteilte und intelligente CAD-Systeme. International Connecting People in CAD Research, Education and …
Hans-Jürgen Bürckert
In: Gerhard Strube (Hrsg.). Wörterbuch der Kognitionswissenschaft. Pages 265-266, Klett-Kotta, 1996.
In: Gerhard Strube (Hrsg.). Wörterbuch der Kognitionswissenschaft. Pages 112-113, Klett-Kotta, 1996.
In: Gerhard Strube (Hrsg.). Wörterbuch der Kognitionswissenschaft. Page 8, Klett-Kotta, 1996.
Franz Baader; Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)
Workshop on Knowledge Representation and Configuration (WKRP-96), DFKI Documents (D), Vol. 96-04, DFKI GmbH, 1996.
Hans-Jürgen Bürckert; Werner Nutt; Christian Seel
In: Franz Baader; Hans-Jürgen Bürckert; Werner Nutt (Hrsg.). Proceedings of the Workshop on Knowledge Representation and Configuration. Workshop on …