Scheme-based theorem discovery and concept invention.

Omar Montaño-Rivas Roy L. McCasland Lucas Dixon Alan Bundy

Published in: Expert Syst. Appl. (2012)

Keyphrases

scientific discovery
knowledge discovery
classification scheme
database
real world
data mining
database systems
search algorithm
lower bound
von neumann
recognition scheme