01620nam a2200409Ia 4500001001000000003000700010005001700017006001900034007001500053008004100068020003600109020002700145035002200172035002300194035002500217035002200242035002000264040004100284050002000325082001400345100002500359245008700384260005600471300002400527490006800551590014700619650005000766650003600816650004400852650004500896655002900941710002800970797002000998830007701018856009601095999001901191EBC265941MiAaPQ20250821100858.0m     o  d |      cr cnu||||||||050616s2005    ne a    o     000 0 eng d  a9781607501213q(electronic bk.)  z9781586035327q(print)  a(MiAaPQ)EBC265941  a(Au-PeEL)EBL265941  a(CaPaEBR)ebr10130633  a(CaONFJC)MIL24343  a(OCoLC)71301090  aMiAaPQbengerdaepncMiAaPQdMiAaPQ 4aQ340b.C78 20050 a006.32221 aCruz, Jorge.910350510aConstraint reasoning for differential modelsh[electronic resource] /cJorge Cruz.  aAmsterdam ;aWashington, D.C. :bIOS Press,cc2005.  axxv, 216 p. :bill.1 aFrontiers in artificial intelligence and applications ;vv. 126  aElectronic reproduction. Ann Arbor, MI : ProQuest, 2018. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. 0aConstraints (Artificial intelligence)9103506 0aDifferential equations.9103507 0aInterval analysis (Mathematics)9103508 0aBiophysicsxMathematical models.9103509 4aElectronic books.9351422 aProQuest (Firm)91035102 aProQuest (Firm) 0aFrontiers in artificial intelligence and applications ;vv. 126.910351140uhttps://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=265941zClick to View  c232013d232013