Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Dieter Hutter
In: B. Gramlich; H. Kirchner; F. Pfenning (Hrsg.). Proceedings CADE-16 Workshop on Strategies in Automated Deduction. International Conference on …