A Calculational Approach to Mathematical Induction.
Henk DoornbosRoland Carl BackhouseJaap van der WoudePublished in: Theor. Comput. Sci. (1997)
Keyphrases
- inductive learning
- neural network
- concept learning
- machine learning
- concept formation
- theorem proving
- multiresolution
- program synthesis
- subgroup discovery
- rule induction
- inductive logic programming
- data sets
- multi agent systems
- data structure
- three dimensional
- inductive inference
- decision trees
- metadata
- artificial intelligence
- mathematical theory
- databases