Lecture

Lecture - 10 Inference in First Order Logic

Course Lectures