Proving Properties of Interacting Processes.

Published in: Acta Informatica (1974)

Keyphrases

desirable properties
real time
neural network
information retrieval
artificial intelligence
information systems
decision making
website
case study
wide range
digital libraries
lower bound