Cailler, Julie und Rümmer, Philipp
(2023)
Automatisches Beweisen: Methoden und Anwendungen.
Blick in die Wissenschaft : Forschungsmagazin der Universität Regensburg 31 (44/45), S. 10-12.
Volltext nicht vorhanden.
Diese Liste wurde erzeugt am Sun Jun 30 19:14:29 2024 CEST.