%0 Thesis %1 gerberding1997implizite %A Gerberding, Stefan %D 1997 %K %T Implizite und explizite Induktionsbeweisverfahren

@phdthesis{gerberding1997implizite, added-at = {2023-12-12T19:22:08.000+0100}, author = {Gerberding, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2dd707735fd49352416aa6084998d5495/admin}, dnbtitleid = {950968544}, interhash = {1fab9265ea1bb4e8bfd3f07c46aac618}, intrahash = {dd707735fd49352416aa6084998d5495}, keywords = {}, school = {TU Darmstadt}, timestamp = {2023-12-12T19:22:08.000+0100}, title = {Implizite und explizite Induktionsbeweisverfahren}, year = 1997 }