Towards mechanical mathematics (1960)

by H Wang
Venue:IBM J.Res.Develop