03560796

j

03560796 Ballantyne, A.Michael Bledsoe, W.W. Automatic proofs of theorems in analysis using nonstandard techniques. J. Assoc. Comput. Mach. 24, 353-374 (1977). 1977 Association for Computing Machinery (ACM), New York, NY EN

doi:10.1145/322017.322018