Generierung von Induktionsformeln und Generalisierung beim automatischen Beweisen mit vollständiger Induktion
By: von Birgit Hummel
Contributors: Universität Karlsruhe. Fakultät für Informatik; Universität Karlsruhe
Publisher: Universität Karlsruhe
Published: 1990
Place of publication: Karlsruhe
Language: ger
Number of pages: 165
Subjects: Automatic theorem proving; Induction (Mathematics); Data processing
Notes: Thesis (doctoral)--Universität Karlsruhe (T.H.), 1990.