Disproving False Conjectures.

Serge Autexier Carsten Schürmann

Published in: LPAR (2003)

Keyphrases

theorem prover
social networks
high quality
image sequences
computational complexity
multiresolution
multi class