On Helping and Interactive Proof Systems.

Vikraman Arvind Johannes Köbler Rainer Schuler

Published in: Int. J. Found. Comput. Sci. (1995)

Keyphrases

management system
computer systems
neural network
data structure
distributed systems
learning systems
systems require
interactive systems
real time
databases
multimedia
constraint satisfaction problems
complex systems
computing systems