Search

Talk

Theorema: Automatisches Beweisen für Lehre und Forschung

  • Bruno Buchberger (Universität Linz)
Felix-Klein-Hörsaal (Raum 4-24) Universität Leipzig (Leipzig)

Katharina Matschke

MPI for Mathematics in the Sciences Contact via Mail