NPTEL Video Course : Logic for CS


Lecture 32 - Resolution and Tableaux


            


DIGIMAT Learning Management Platform