Proving Theorems by Pattern Recognition

Feb-1-1960–Classics

Communications of the ACM, Vol 4, No. 3, pp. 229-243, 1960

information management, pattern recognition, theorem

Feb-1-1960

Classics Web Page

Technology:
- Information Technology > Artificial Intelligence > Machine Learning > Pattern Recognition (0.40)