Hummel, B. (1987). An investigation of formula generalization heuristics for induction proofs.
Chicago-Zitierstil (17. Ausg.)Hummel, Birgit. An Investigation of Formula Generalization Heuristics for Induction Proofs. Karlsruhe, 1987.
MLA-Zitierstil (9. Ausg.)Hummel, Birgit. An Investigation of Formula Generalization Heuristics for Induction Proofs. 1987.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.