Neural networks for proof-pattern recognition

Keyphrases

• Neural Network 100%
• Pattern Recognition 100%
• Neural Nets 50%
• First-order Logic 50%
• Logic Programming 50%
• Feature Vector 50%
• Problem Situation 50%
• Automated Proof 50%
• Feature Extraction 50%
• Backpropagation Learning 50%
• Implementation Scenarios 50%
• Recognition Ability 50%
• Datamine 50%

Computer Science

• Neural Network 100%
• Pattern Recognition 100%
• Logic Programming 33%
• Feature Vector 33%
• Feature Extraction 33%