Seite 4 von 4.
Susanne Biundo; Birgit Hummel; Dieter Hutter; Christoph Walther
In: Jörg Siekmann (Hrsg.). Proceedings of the 8th International Conference on Automated Deduction, CADE-8. International Conference on Automated …
Hans-Jürgen Bürckert
In: Jörg Siekmann (Hrsg.). Proceedings of 8th International Conference on Automated Deduction (CADE-86). International Conference on Automated …