Jutta Eusterbrock

• Wissensbasierte Verfahren zur Synthese mathematischer Beweise