A Redundancy Analysis of Sequent Proofs.

Tatjana Lutovac James Harland

Published in: TABLEAUX (2005)

Keyphrases

statistical analysis
objective function
data analysis
automatic analysis
artificial intelligence
search engine
case study
image segmentation
image sequences
digital libraries
information content
quantitative analysis