Proving Theorems by Pattern Recognition

Wang, Hao

–Classics 

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