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 Sat May 18 08:13:17 2024 CEST.