Talk
Theorema: Automatisches Beweisen für Lehre und Forschung
- Bruno Buchberger (Universität Linz)
colloquium
04.12.96
04.12.02
Mathematisches Kolloquium
Universität Leipzig
Felix-Klein-Hörsaal (Raum 4-24)
Katharina Matschke
MPI for Mathematics in the Sciences
Contact via Mail