NPTEL Video Course : Artificial Intelligence (Prof. Anupam Basu)

Lecture 13 - First Order Logic