Keyphrases
- cooperative
- theorem prover
- geometry theorem proving
- formal proof
- linear logic
- theorem proving
- special case
- interactive theorem proving
- imperative programs
- complete axiomatization
- natural deduction
- database
- object recognition
- case study
- decision making
- computer vision
- genetic algorithm
- machine learning
- data mining
- neural network