Automatic proofs of theorems in analysis using nonstandard techniques, The University of Texas at Austin Math. Dept. Memo ATP-23 (1975)

by A M Ballantyne, W W Bledsoe
Venue:University of Texas