An Infinitistic Rule of Proof.

Herbert B. Enderton

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

Keyphrases

association rules
rule sets
data sets
classification rules
theorem proving
rule learning
logical rules
databases
data mining
web services
decision trees
theorem prover
production rules
rule discovery
rule generation