NPTEL Video Course : Logic for CS


Lecture 27 - Substitutions and Instantiations


            


DIGIMAT Learning Management Platform