Computer programs for checking mathematical proofs

• 1 January 1962
• other
• Published by American Mathematical Society (AMS) in Proceedings of Symposia in Pure Mathematics
• Vol. 5, 219-227
• https://doi.org/10.1090/pspum/005/9998

Abstract