Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
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 …
Dieter Hutter
In: S. Hölldobler (Hrsg.). Proceedings 20th German Annual Conference on Artificial Intelligence KI-96. German Conference on Artificial Intelligence …
Christoph Weidenbach; Bernd Gaede; Georg Rock
In: M. McRobbie; J. Slaney (Hrsg.). 13th International Conference on Automated Deduction, CADE--13. International Conference on Automated Deduction …
Werner Stephan; Susanne Biundo
In: Brian Drabble (Hrsg.). Proceedings of the Third International Conference on Artificial Intelligence Planning Systems. International Conference on …
Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux
In: Martin C. Golumbic (Hrsg.). Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 18, No. 2, Pages 95-131, Springer, Netherlands, 9/1996.
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.
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 …