TU Darmstadt / ULB / TUbiblio

Patching proofs for reuse

Kolbe, Thomas (1995):
Patching proofs for reuse.
Damstadt: Techn. Hochschule, FB 20, 1995. 17S., Damstadt, Techn. Hochschule, [Book]

Item Type: Book
Erschienen: 1995
Creators: Kolbe, Thomas
Title: Patching proofs for reuse
Language: English
Place of Publication: Damstadt
Publisher: Techn. Hochschule
Edition: Damstadt: Techn. Hochschule, FB 20, 1995. 17S.
Collation: 17S
Divisions: 20 Department of Computer Science
Date Deposited: 19 Nov 2008 16:20
License: [undefiniert]
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

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