TY - BOOK AU - Cruz,Jorge ED - ebrary, Inc. TI - Constraint reasoning for differential models T2 - Frontiers in artificial intelligence and applications AV - Q340 .C78 2005eb 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 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.taylors.edu.my/login?url=http://site.ebrary.com/lib/taylorscollege/Doc?id=10130633 ER -