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