In: J. Kunze; H. Stoyan (Hrsg.). Workshop Proceedings of the 18th German Annual Conference on Artificial Intelligence. German Conference on Artificial …
Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux
In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on …
In: Alan Bundy (Hrsg.). Proceedings of the 12th International Conference on Automated Deduction. International Conference on Automated Deduction …
R. Förster; P. Kejwal; P. Baur; P. Göhner; J. Cleve; R. Drexler; Dieter Hutter; Claus Sengler; Jörg Siekmann; Werner Stephan; A. Wolpers; W. Reif; E. Canver; F. W. von Henke