PSPACE und IP Folien fast fertig
abstract und dokumentstruktur
IP und interaktive beweissysteme