A Theoretical Analysis of Hierarchical Proofs.

Paul A. Cairns Jeremy Gow

Published in: MKM (2003)

Keyphrases

theoretical analysis
numerical simulations
coarse to fine
real time
real world
database
learning algorithm
artificial intelligence
data structure
search algorithm
hierarchical structure