NPTEL Video Course : Discrete Mathematical Structures

Lecture 6 - Resolution Principles & Application to PROLOG