TU Darmstadt / ULB / TUbiblio

Lazy generation of induction hypotheses and patching faulty conjectures

Protzen, Martin (1995):
Lazy generation of induction hypotheses and patching faulty conjectures.
98St. Augustin: Infix, 1995. 89 S.,
St. Augustin, Infix, TU Darmstadt, [Ph.D. Thesis]

Item Type: Ph.D. Thesis
Erschienen: 1995
Creators: Protzen, Martin
Title: Lazy generation of induction hypotheses and patching faulty conjectures
Language: English
Volume: 98
Place of Publication: St. Augustin
Publisher: Infix
Edition: St. Augustin: Infix, 1995. 89 S.
Collation: 89 S
Divisions: 20 Department of Computer Science
Date Deposited: 19 Nov 2008 15:54
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item