> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: On helping and interactive proof systems Beteiligte: Arvind, Vikraman [VerfasserIn]; Köbler, Johannes [VerfasserIn]; Schuler, Rainer [VerfasserIn] Erschienen: Ulm: Univ., Fak. für Informatik, 1994 Erschienen in: Ulmer Informatik-Berichte ; 94,05 Umfang: 16 S. Sprache: Englisch RVK-Notation: SS 5525 : Ulmer Informatik-Berichte Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Ulmer Informatik-Berichte
Bereichsbibliothek DrePunct – Magazin Signatur: 95 4 50170 001 Barcode: 10010544 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden