Birgit Hummel

1958

• Generierung von Induktionsformeln und Generalisierung beim automatischen Beweisen mit vollständiger Induktion