TU Darmstadt / ULB / TUbiblio

Interaktive Beweissysteme und {Arthur-Merlin- Beweissysteme}

Naumann-Kipper, Petra (1992)
Interaktive Beweissysteme und {Arthur-Merlin- Beweissysteme}.
Universität des Saarlandes
Diplom- oder Magisterarbeit, Bibliographie

Typ des Eintrags: Diplom- oder Magisterarbeit
Erschienen: 1992
Autor(en): Naumann-Kipper, Petra
Art des Eintrags: Bibliographie
Titel: Interaktive Beweissysteme und {Arthur-Merlin- Beweissysteme}
Sprache: Deutsch
Publikationsjahr: 1992
Ort: Saarbrücken
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Theoretische Informatik - Kryptographie und Computeralgebra
Hinterlegungsdatum: 04 Aug 2016 15:08
Letzte Änderung: 22 Nov 2023 12:18
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