Harrison, John <br/><br/>
Theorem proving with the real numbers 

 - New York:  Springer,  1998 
 - xii, 186p.;  24cm. 
<br/><br/><label>ISBN: </label>35407625566 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages 
<br/><br/><label>Dewey Class. No.: </label>005.14  / HAR