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)
colloquium
12/4/96 12/4/02

Mathematisches Kolloquium

Universität Leipzig Felix-Klein-Hörsaal (Raum 4-24)

Katharina Matschke

MPI for Mathematics in the Sciences Contact via Mail