Keyphrases
- theorem prover
- theorem proving
- automated theorem proving
- proof search
- user friendly
- inference rules
- graphical interface
- user interface
- computer vision
- linear logic
- cross platform
- management system
- neural network
- answer set programming
- data model
- search procedure
- artificial neural networks
- video sequences
- direct manipulation
- similarity measure
- proof procedure
- visual interface
- decision trees
- natural deduction