TU Darmstadt / ULB / TUbiblio

Proof analysis, generalization and reuse

Kolbe, Thomas ; Walther, :
Proof analysis, generalization and reuse.
In: Automated deduction: a basis for applications. Bd. 2. Hrsg.: W. Bibel (u.a.) S. 189-219. Kluwer Acad. Publ, Dordrecht
[Buchkapitel], (1998)

Typ des Eintrags: Buchkapitel
Erschienen: 1998
Autor(en): Kolbe, Thomas ; Walther,
Titel: Proof analysis, generalization and reuse
Sprache: Englisch
Buchtitel: Automated deduction: a basis for applications. Bd. 2. Hrsg.: W. Bibel (u.a.) S. 189-219
Band: 10
Ort: Dordrecht
Verlag: Kluwer Acad. Publ
Edition: Dordrecht: Kluwer Acad. Publ., 1998
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:20
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen