CPS 570: Artificial Intelligence Logic
Instructor: Vincent Conitzer
CPS 270: Artificial Intelligence cs.duke/courses/fall08/cps270/ Logic