TY - BOOK AU - Cruz,Jorge ED - ProQuest (Firm) TI - Constraint reasoning for differential models T2 - Frontiers in artificial intelligence and applications SN - 9781607501213 AV - Q340 .C78 2005 U1 - 006.3 22 PY - 2005/// CY - Amsterdam, Washington, D.C. PB - IOS Press KW - Constraints (Artificial intelligence) KW - Differential equations KW - Interval analysis (Mathematics) KW - Biophysics KW - Mathematical models KW - Electronic books UR - https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=265941 ER -