Keyphrases
- theorem proving
- equational theories
- theorem prover
- proof search
- proof planning
- structural information
- first order logic
- formal proofs
- inference rules
- inductive learning
- neural network
- formal proof
- image processing
- website
- expert systems
- domain knowledge
- database
- machine learning
- data mining
- rule induction
- databases
- real time