Natural Proofs.

Alexander A. Razborov Steven Rudich

Published in: J. Comput. Syst. Sci. (1997)

Keyphrases

data mining
real world
genetic algorithm
database systems
theorem proving
data sets
artificial intelligence
metadata
image processing
three dimensional
preprocessing
relational databases
theorem prover