On helping and interactive proof systems

Bibliographische Detailangaben

1. Verfasser:	Arvind, Vikraman (VerfasserIn)
Weitere Verfasser:	Köbler, Johannes (VerfasserIn), Schuler, Rainer (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Ulm Univ. Ulm, Fak. für Informatik 1994
Schriftenreihe:	Ulmer Informatik-Berichte 1994,5
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!