Missing Proofs Found.

Branden Fitelson Larry Wos

Published in: J. Autom. Reason. (2001)

Keyphrases

missing data
theorem proving
missing values
machine learning
cooperative
formal proofs
formal proof
multiresolution
mathematical knowledge
theorem prover
incomplete data
medical images
database
evolutionary algorithm
relational databases
social networks
genetic algorithm
real world
real time