Hilbert's Program and the Omega-Rule.

Aleksandar Ignjatovic

Published in: J. Symb. Log. (1994)

Keyphrases

association rules
databases
neural network
search algorithm
production rules
rule learning
database
data mining
relational databases
test cases
classification rules
computer programs
static analysis
rule mining
program execution