Publikationen

Dieter Hutter; Claus Sengler

In: Michael A. McRobbie; John K. Slaney (Hrsg.). Proceedings of the 13th International Conference on Automated Deduction - CADE-13. International …

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 …

Andreas Dengel; Frank Dubiel

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