"Term Partition" for Mathematical Induction.

Pascal Urso Emmanuel Kounalis

Published in: RTA (2003)

Keyphrases

inductive learning
program synthesis
multiscale
rule induction
data sets
artificial intelligence
case study
data structure
co occurrence
subgroup discovery
functional programs