%0
Book
%T
On helping and interactive proof systems
%A
Arvind, Vikraman
%A
Köbler, Johannes
%A
Schuler, Rainer
%I
Univ., Fak. für Informatik
%D
1994
%C
Univ., Fak. für Informatik
%C
Ulm
%U
http://slubdd.de/katalog?TN_libero_mab2
Download citation