%0 Thesis %1 hummel1990generierung %A Hummel, Birgit %D 1990 %K %T Generierung von Induktionsformeln und Generalisierung beim automatischen Beweisen mit vollständiger Induktion

@phdthesis{hummel1990generierung, added-at = {2023-12-12T19:27:16.000+0100}, author = {Hummel, Birgit}, biburl = {https://www.bibsonomy.org/bibtex/253d83b14fcb9419d87057f0b7f2d766d/admin}, dnbtitleid = {911413367}, interhash = {20f554b540a6e15b01e5ff511685e796}, intrahash = {53d83b14fcb9419d87057f0b7f2d766d}, keywords = {}, school = {Uni Karlsruhe}, timestamp = {2023-12-12T19:27:16.000+0100}, title = {Generierung von Induktionsformeln und Generalisierung beim automatischen Beweisen mit vollständiger Induktion}, year = 1990 }