Some Automatic Proofs in Analysis (1984)

by W W Bledsoe
Venue:In