NPTEL Video Course : NOC:Artificial Intelligence Search Methods For Problem Solving

Lecture 80 - Reasoning in Logic