CS44 W00
:
Lecture
14
Topics:
Inference in First-Order Logic
Slides
Switch to:
CS44 W00 Home Page
Lecture 15
vasilis@cs.dartmouth.edu