TU Darmstadt / ULB / TUbiblio

Proof Analysis, Generalization and Reuse

Kolbe, Thomas ; Walther, Christoph
Hrsg.: Bibel, Wolfgang (1998)
Proof Analysis, Generalization and Reuse.
In: Automated deduction: a basis for applications. Bd.2 Systems and implementation techniques
doi: 10.1007/978-94-017-0435-9
Buchkapitel, Bibliographie

Typ des Eintrags: Buchkapitel
Erschienen: 1998
Herausgeber: Bibel, Wolfgang
Autor(en): Kolbe, Thomas ; Walther, Christoph
Art des Eintrags: Bibliographie
Titel: Proof Analysis, Generalization and Reuse
Sprache: Englisch
Publikationsjahr: 1998
Ort: Dordrecht
Verlag: Kluwer Acad. Publ
Buchtitel: Automated deduction: a basis for applications. Bd.2 Systems and implementation techniques
Band einer Reihe: 10
DOI: 10.1007/978-94-017-0435-9
Zugehörige Links:
Zusätzliche Informationen:

ULB-Bestand / Signatur ST304 B581 A939-2

Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Programmiermethodik
Hinterlegungsdatum: 19 Nov 2008 16:20
Letzte Änderung: 23 Jan 2024 10:52
PPN:
Zugehörige Links:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen