How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization.
Jacqueline CastaingPublished in: IJCAI (1985)
Keyphrases
- proof search
- proof planning
- linear logic
- theorem prover
- constructive induction
- attribute oriented
- pattern matching
- image matching
- inference rules
- matching algorithm
- theorem proving
- machine learning
- graph matching
- feature matching
- string matching
- template matching
- matching process
- matching scheme
- face recognition
- approximate matching
- computer vision
- data sets