A review of automatic theorem-proving

Publisher Website

1 January 1967

other
Published by American Mathematical Society (AMS) in Proceedings of Symposia in Applied Mathematics

Vol. 19, 1-18
https://doi.org/10.1090/psapm/019/0241195

Abstract

No abstract available

Cited by 43 articles