TU Darmstadt / ULB / TUbiblio

Patching proofs for reuse

Kolbe, Thomas:
Patching proofs for reuse.
Techn. Hochschule, Damstadt
[Buch], (1995)

Typ des Eintrags: Buch
Erschienen: 1995
Autor(en): Kolbe, Thomas
Titel: Patching proofs for reuse
Sprache: Englisch
Ort: Damstadt
Verlag: Techn. Hochschule
Edition: Damstadt: Techn. Hochschule, FB 20, 1995. 17S.
Kollation: 17S
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:20
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen