On the Power of Multi-Prover Interactive Protocols.

Lance Fortnow John Rompel Michael Sipser

Published in: Theor. Comput. Sci. (1994)

Keyphrases

computer graphics
power consumption
theorem proving
computer vision
knowledge base
case study
theorem prover
user interaction
wireless sensor networks
higher throughput
automated theorem proving
highly interactive
neural network
expert systems
decision trees
information systems
data mining