TU Darmstadt / ULB / TUbiblio

Implizite und explizite Induktionsbeweisverfahren

Gerberding, Stefan (1997)
Implizite und explizite Induktionsbeweisverfahren.
Technische Universität Darmstadt
Dissertation, Bibliographie

Typ des Eintrags: Dissertation
Erschienen: 1997
Autor(en): Gerberding, Stefan
Art des Eintrags: Bibliographie
Titel: Implizite und explizite Induktionsbeweisverfahren
Sprache: Deutsch
Publikationsjahr: 1997
Ort: Sankt Augustin
Verlag: infix
Band einer Reihe: 159
Kollation: 279 S
Auflage: Sankt Augustin: infix, 1997. 279 S
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 15:55
Letzte Änderung: 05 Mär 2013 08:30
PPN:
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