TU Darmstadt / ULB / TUbiblio

Interaktive Beweissysteme und {Arthur-Merlin- Beweissysteme}

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

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

Options (only for editors)

View Item View Item