Keyphrases
- network architecture
- theorem proving
- neural network
- bio inspired
- theorem prover
- nonlinear predictive control
- neural model
- artificial neural
- connectionist models
- data sets
- decision trees
- linear logic
- mathematical proofs
- neural information processing
- associative memory
- database
- neural learning
- proof theory
- neural classifier
- interactive theorem proving
- real time