TU Darmstadt / ULB / TUbiblio

Lazy generation of induction hypotheses and patching faulty conjectures

Protzen, Martin :
Lazy generation of induction hypotheses and patching faulty conjectures.
Infix , St. Augustin
[Dissertation]

Typ des Eintrags: Dissertation
Erschienen: 1995
Autor(en): Protzen, Martin
Titel: Lazy generation of induction hypotheses and patching faulty conjectures
Sprache: Englisch
Band: 98
Ort: St. Augustin
Verlag: Infix
Edition: St. Augustin: Infix, 1995. 89 S.
Kollation: 89 S
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 15:54
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen