Proving Theorems by Pattern Recognition

Wang, Hao

Classics 

Did you know your Organization can subscribe to the ACM Digital Library?