On Induction-Free Provability.

Jan Krajícek Gaisi Takeuti

Published in: Ann. Math. Artif. Intell. (1992)

Keyphrases

databases
program synthesis
inductive learning
concept formation
real world
database systems
image sequences
expert systems
concept learning
inductive inference
subgroup discovery