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

Birgit Hummel
Bok · Tysk · 1990

Utgitt	Karlsruhe , 1990
Omfang	165 s.
Opplysninger	Avhandling (Doktorgrad) - Karlsruhe Universität.