TU Darmstadt / ULB / TUbiblio

Implizite und explizite Induktionsbeweisverfahren

Gerberding, Stefan :
Implizite und explizite Induktionsbeweisverfahren.
infix , Sankt Augustin
[Dissertation]

Typ des Eintrags: Dissertation
Erschienen: 1997
Autor(en): Gerberding, Stefan
Titel: Implizite und explizite Induktionsbeweisverfahren
Sprache: Deutsch
Band: 159
Ort: Sankt Augustin
Verlag: infix
Edition: Sankt Augustin: infix, 1997. 279 S
Kollation: 279 S
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 15:55
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen