Meyer, Kenneth R,  <br/><br/>
Computer aided proofs in analysis 
Kenneth R Meyer  
 - 
 - Springer-Verlag, New York  1990 
 - 
 - .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science
<br/><br/><label>Dewey Class. No.: </label>004  MEY-C