TY  - BOOK
AU  - Mayer, Gunter
TI  - Interval analysis: And automatic result verification
U1  - 510 M452I 
PY  - 2017///
CY  - Berlin
PB  - DE Gruyter
N1  - 4358 12/01/2022 IBS22/00302 14/01/2022 Main Budget
ER  -