000 00586pam a2200193a 44500
008 160408b2005 xxu||||| |||| 00| 0 eng d
020 _a1586035320
082 _a006.3
_bC889C
100 _aCruz,Jorge
245 1 _aCONSTRAINT REASONING FOR DIFFERENTIAL MODELS
260 _a
_bIos Press, Amsterdam
_c2005
300 _axxv,216
440 _aFrontiers In Artificial Intelligence And Applications
_v
650 _aConstraints (Artificial Intelligence)
650 _aDifferential Equations
650 _aInterval Analysis (Mathematics)
964 _gCIRC
997 _aA155801 C
999 _c346753
_d346753