Natural Proofs

Alexander A. Razborov Steven Rudich

Published in: Electron. Colloquium Comput. Complex. (1994)

Keyphrases

wide range
databases
data mining
machine learning
artificial intelligence
computer vision
multimedia
case study
similarity measure
evolutionary algorithm
multiresolution
natural deduction