Towards automation of proofs by induction.
Friedrich W. von HenkePublished in: Theoretical Computer Science (1977)
Keyphrases
- proof search
- theorem prover
- theorem proving
- constructive induction
- inductive learning
- formal proof
- formal proofs
- proof planning
- machine learning
- equational theories
- active learning
- concept learning
- inductive inference
- program synthesis
- rule induction
- subgroup discovery
- inference rules
- version space
- inductive reasoning
- real time
- multi agent systems
- database systems
- mathematical proofs