Proof Analysis by Resolution.

Published in: CADE (2002)

Keyphrases

statistical analysis
real time
high resolution
automatic analysis
databases
social networks
decision trees
three dimensional
pattern recognition
multiresolution
mobile robot