CS44 W00: Lecture 14

Topics:

  1. Inference in First-Order Logic

Slides


Switch to:


vasilis@cs.dartmouth.edu