NPTEL Video Course : Artificial Intelligence (Prof. Deepak Khemani)

Lecture 44 - Resolution Refutation for PL