TY  - GEN
AU  - Harrison, John
TI  - Theorem proving with the real numbers
SN  - 35407625566
U1  - 005.14 
PY  - 1998///
CY  - New York
PB  - Springer
KW  - Programming languages
ER  -