Toward mechanical mathematics (1960)

by H Wang
Venue:IBM Journal of Research and Development