Andreas Dengel; Frank Dubiel
In: International Journal of Imaging Systems and Technology (IJIST), Vol. 7, No. 4, Pages 271-278, 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.
Peter Fettke
PhD-Thesis, Westfälische Wilhelms-Universität Münster, 1996.
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.
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 …
