Arithmetic with Creative Definitions by Induction.

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

Keyphrases

inductive learning
arithmetic operations
constructive induction
subgroup discovery
inductive logic programming
inductive inference
oblique decision trees
data sets
machine learning
functional programs
image processing
concept learning
explanation based learning
floating point
program synthesis