Dieter Hutter; Claus Sengler
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 …
Heiko Mantel
Mastersthesis, TH-Darmstadt, Germany, 12/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 …
Hans-Jürgen Bürckert; Ingo Zinnikus
In: K. Prasser (Hrsg.). Workshop Deduktion - Zusammenfassungen. Workshop Deduktion, Uni Dresden, Vol. Interner Bericht Uni Dresden, No. WV-96-09, Uni …
Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt
Abschlussbericht, 1996.
Andreas Dengel; Frank Dubiel
In: International Journal of Imaging Systems and Technology (IJIST), Vol. 7, No. 4, Pages 271-278, 1996.
