|
|
![]() |
| home | publications | book | courses | about | Revised on May. 01, 2003 |
| ICS-280, Current Topics in Automated Reasoning, Spring 2003 | ||
| ideas for projects | ||
|
|
|
||
University of California, Irvine, CA 92697-3425 |
Dr. Rina Dechter dechter at ics.uci.edu |
|