Semi-Automated Mathematics

Journal of the ACM 1969 / 1 Vol. 16; Iss. 1

Semi-Automated Mathematics

Guard, J. R., Oglesby, F. C., Bennett, J. H., Settle, L. G.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
16
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/321495.321500
Date:
January, 1969
File:
PDF, 975 KB
english, 1969
Conversion to is in progress
Conversion to is failed