NPTEL Video Course : Logic for CS


Lecture 29 - Resolution in FOL


            


DIGIMAT Learning Management Platform