Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
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.
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.
Susanne Biundo; Werner Stephan
In: Wolfgang Wahlster (Hrsg.). Proceedings of the 12th European Conference on Artificial Intelligence 96. European Conference on Artificial …
Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
In: J. Woodcock; M. C. Gaudel (Hrsg.). Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in …
In: Journal of High Integrity Systems, Vol. 1, No. 6, Pages 523-530, Oxford University Press, 1996.
Dieter Hutter; David McAllister; Christoph Walther
13th Conference on Automated Deduction, New Brunswick, USA, 1996.
Dieter Hutter; Claus Sengler
In: Michael A. McRobbie; John K. Slaney (Hrsg.). Proceedings of the 13th International Conference on Automated Deduction - CADE-13. International …
