TY  - BOOK
AU  - Mayar Gunter
TI  - Interval analysis:  And automatic result verification (Study in mathematics 65)
U1  - B311, Q7 
PY  - 2017///
CY  - Berlin
PB  - De Gruyter         
KW  - Mathematics
ER  -