Publications

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.

Frank Dubiel; Andreas Dengel

In: Proceedings of the International Association for Pattern Recognition Workshop. International Conference on Pattern Recognition (ICPR-96), located …

Andreas Dengel; Frank Dubiel

In: Proceedings of the IX. International Symposium on Artificial Intelligence. International Symposium on Artificial Intelligence (ISAI-96), Cancún, …

Andreas Dengel; Knut Hinkelmann

In: M. M. Tanik; F. Bastani; D. Gibson; P. Fielding (Hrsg.). Proceedings of the 2nd World Conference on Integrated Design and Process Technology. …

Andreas Dengel; Thomas Kieninger; N. Kuhn

In: E. Zwierlein (Hrsg.). Handbuch: Integration und Ausgrenzung. Pages 563-573, Luchterland-Verlag, 6/1996.

Andreas Dengel; Frank Dubiel

In: International Journal of Imaging Systems and Technology (IJIST), Vol. 7, No. 4, Pages 271-278, 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 …