TU Darmstadt / ULB / TUbiblio

Interaktive Beweissysteme und {Arthur-Merlin- Beweissysteme}

Naumann-Kipper, Petra (1992):
Interaktive Beweissysteme und {Arthur-Merlin- Beweissysteme}.
Universität des Saarlandes, [Master Thesis]

Item Type: Master Thesis
Erschienen: 1992
Creators: Naumann-Kipper, Petra
Title: Interaktive Beweissysteme und {Arthur-Merlin- Beweissysteme}
Language: German
Divisions: 20 Department of Computer Science > Theoretical Computer Science - Cryptography and Computer Algebra
20 Department of Computer Science
Date Deposited: 04 Aug 2016 15:08
Identification Number: Naumann-Kipper:1992
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item