Keyphrases
- human intelligence
- machine intelligence
- information processing
- theorem proving
- artificial intelligence
- intelligent systems
- cognitive science
- theorem prover
- geometry theorem proving
- mathematical proofs
- human beings
- database systems
- real time
- human brain
- knowledge representation
- search engine
- natural deduction
- proof search
- covering arrays
- automated theorem provers
- genetic algorithm
- neural network