On Completeness and Soundness in Interactive Proof Systems.

Martin Fürer Oded Goldreich Yishay Mansour Michael Sipser Stathis Zachos

Published in: Adv. Comput. Res. (1989)

Keyphrases

distributed systems
interactive systems
information systems
management system
man machine
machine learning
building blocks
computer systems
artificial neural networks
systems require
design tools
computer graphics
database
expert systems
data analysis
data structure
decision making
databases
data sets