Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer
In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …