NPTEL Video Course : Logic for CS


Lecture 31 - Resolution : Soundness and Completeness


            


DIGIMAT Learning Management Platform