Hao Wang. Proving theorems by pattern recognition I.Communications of the Association for Computing Machinery, vol. 3 (1960), pp. 220–234. - Hao Wang. Proving theorems by pattern recognition—II.The Bell system technical journal, vol. 40 (1961), pp. 1–41.
Keyword(s):
1951 ◽
Vol 30
(1)
◽
pp. 205-210
1950 ◽
Vol 29
(4)
◽
pp. 672-673
1923 ◽
Vol 196
(4)
◽
pp. 519-520
◽
Keyword(s):