TY  - BOOK
AU  - Cruz,Jorge
TI  - CONSTRAINT REASONING FOR DIFFERENTIAL MODELS
SN  - 1586035320
U1  - 006.3 
PY  - 2005///
CY  - 
PB  - Ios Press, Amsterdam
KW  - Constraints (Artificial Intelligence)
KW  - Differential Equations
KW  - Interval Analysis (Mathematics)
ER  -