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.
|
Utgitt | Karlsruhe , 1990
|
---|---|
Omfang | 165 s.
|
Opplysninger | Avhandling (Doktorgrad) - Karlsruhe Universität.
|