Talk 25.11.98, 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)