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

@phdthesis{hummel1990generierung, added-at = {2015-09-09T10:12:11.000+0200}, author = {Hummel, Birgit}, biburl = {https://www.bibsonomy.org/bibtex/253d83b14fcb9419d87057f0b7f2d766d/genealogie}, dnbtitleid = {911413367}, interhash = {20f554b540a6e15b01e5ff511685e796}, intrahash = {53d83b14fcb9419d87057f0b7f2d766d}, keywords = {dnb Informatik Datenverarbeitung}, school = {Uni Karlsruhe}, timestamp = {2015-09-09T10:12:11.000+0200}, title = {Generierung von Induktionsformeln und Generalisierung beim automatischen Beweisen mit vollständiger Induktion}, year = 1990 }