Some Beautiful Arguments Using Mathematical Induction.
Edsger W. DijkstraPublished in: Acta Informatica (1980)
Keyphrases
- machine learning
- concept formation
- inductive learning
- decision making
- mathematical expressions
- active learning
- rule induction
- mathematical knowledge
- data mining
- computer algebra
- program synthesis
- inductive inference
- inductive logic programming
- case based reasoning
- image processing
- computer vision
- information retrieval