Login / Signup
Errata for On the Power of Multi-Prover Interactive Protocols.
Lance Fortnow
John Rompel
Michael Sipser
Published in:
Computational Complexity Conference (1990)
Keyphrases
</>
power consumption
computer graphics
virtual reality
theorem proving
real world
artificial intelligence
case study
user friendly
interactive learning
user interaction
graphical interface
interactive video