TU Darmstadt / ULB / TUbiblio

Proof Analysis, Generalization and Reuse

Kolbe, Thomas and Walther, Christoph Bibel, Wolfgang (ed.) (1998):
Proof Analysis, Generalization and Reuse.
10, In: Automated deduction: a basis for applications. Bd.2, pp. 189-219, Dordrecht, Kluwer Acad. Publ, DOI: 10.1007/978-94-017-0435-9,
[Book Section]

Item Type: Book Section
Erschienen: 1998
Editors: Bibel, Wolfgang
Creators: Kolbe, Thomas and Walther, Christoph
Title: Proof Analysis, Generalization and Reuse
Language: English
Title of Book: Automated deduction: a basis for applications. Bd.2
Volume: 10
Place of Publication: Dordrecht
Publisher: Kluwer Acad. Publ
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Programming Methodology
Date Deposited: 19 Nov 2008 16:20
DOI: 10.1007/978-94-017-0435-9
Additional Information:

ULB-Bestand / Signatur ST304 B581 A939-2

License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details