Am 12.05 um 11:15 wird Irene Garnelo im Rahmen des vom TRR 358 organisiertem Event einen Vortrag zum Thema Theorembeweiser halten. Mehr Information zur Veranstaltung gibt es hier: https://trr358.math.uni-bielefeld.de/workshops/view/521.
Am 12.05 um 11:15 wird Irene Garnelo im Rahmen des vom TRR 358 organisiertem Event einen Vortrag zum Thema Theorembeweiser halten. Mehr Information zur Veranstaltung gibt es hier: https://trr358.math.uni-bielefeld.de/workshops/view/521.