On Helping and Interactive Proof Systems.

Vikraman Arvind Johannes Köbler Rainer Schuler

Published in: ISAAC (1994)

Keyphrases

computer systems
distributed systems
complex systems
intelligent systems
building blocks
computer graphics
interactive systems
database
databases
social networks
multiscale
management system
learning systems
computational models
graphical interface
man machine