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 Jun 29 17:41:42 2024 CEST.