Media type: E-Article; E-Article; Text Title: Verwendung von Induktionshypothesen in Induktionsbeweisen Contributor: Hutter, Dieter [Author] Published: KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Language: German Keywords: DATA processing & computer science Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.