TY - BOOK AU - Cruz,Jorge ED - ebrary, Inc. TI - Constraint reasoning for differential models T2 - Frontiers in artificial intelligence and applications SN - 1586035320 AV - Q340 .C78 2005eb U1 - 006.3 22 PY - 2005/// CY - Amsterdam, Washington, D.C. PB - IOS Press KW - Biophysics KW - Mathematical models KW - Constraints (Artificial intelligence) KW - Differential equations KW - Interval analysis (Mathematics) KW - Electronic books KW - local N1 - Electronic reproduction; Palo Alto, Calif.; ebrary; 2009; Available via World Wide Web; Access may be limited to ebrary affiliated libraries UR - http://ezproxy.alfaisal.edu/login?url=http://site.ebrary.com/lib/alfaisal/Doc?id=10130633 ER -