TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Springe zu: 1995
Anzahl der Einträge: 1.
1995
Protzen, Martin (1995)
Lazy generation of induction hypotheses and patching faulty conjectures.
Technische Universität Darmstadt
Dissertation, Bibliographie