A few exercises in theorem processing.

F. Lockwood Morris

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

Keyphrases

real time
distributed processing
data processing
information processing
data acquisition
databases
machine learning
three dimensional
computational power