NPTEL Video Course : Automated Program Verification


Lecture 8 - Satisfiability and Validity in First-Order Logic - Part A


            


DIGIMAT Learning Management Platform