'More on Resolution in FOL' - Computer Science and Engineering (IIT Delhi) Video Lectures by Prof. S. Arun Kumar

Watch Logic for CS ('Computer Science and Engineering' course from IIT Delhi) Video Lectures by Prof. S. Arun Kumar.

Course: Logic for CS

Discipline: Computer Science and Engineering

Faculty: Prof. S. Arun Kumar

Institute: IIT Delhi

NPTEL Lecture : 'More on Resolution in FOL'