Evaluation of definite integrals by symbolic manipulation / - Wang, Paul S. H. (Project MAC, Massachusetts Institute of Technology, 1971)