Computer programs for checking mathematical proofs

Publisher Website

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

No abstract available

Cited by 25 articles