Proving Theorems by Pattern Recognition I CACM April, 1960 Wang, H. CA600407 JB March 22, 1978 1:47 PM 204 4 204 204 5 204 204 5 204 204 5 204 3194 5 204