Keyphrases
- network architecture
- neural network
- theorem prover
- artificial neural
- linear logic
- bio inspired
- theorem proving
- neural information processing
- mathematical proofs
- neuron model
- multiple perspectives
- search algorithm
- computer vision
- artificial intelligence
- multiscale
- learning rules
- neural model
- database systems
- neural architecture
- case study
- connectionist models
- natural deduction
- neural computation
- neural classifier
- proof planning
- data mining
- data sets