Talk Wednesday, November 25, 1998 16:15 Theorema: Automatisches Beweisen für Lehre und Forschung Bruno Buchberger (Universität Linz) Felix-Klein-Hörsaal (Raum 4-24) Universität Leipzig (Leipzig)