On helping and interactive proof systems
Arvind, Vikraman ; Köbler, Johannes ; Schuler, Rainer 2010 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
- Link zu diesem Datensatz
-
https://d-nb.info/1016389914
- Titel
-
On helping and interactive proof systems
- Art des Inhalts
- Monographie
- Verfassangaben
- Vikraman Arvind ; Johannes Köbler ; Rainer Schuler
- Autor(en)
-
- Arvind, Vikraman
- Köbler, Johannes
- Schuler, Rainer
- Verlag
- Ulm : Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik [2010]
- Jahr
- Erscheinungsdatum: 2010
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:bsz:289-vts-70481
- Sprache
- eng
- Sachgruppe(n)
-
- Schlagwörter
-
- Stand
- 02.12.2017 21:47
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
