NPTEL Video Course : Logic for CS


Lecture 23 - Predicate Logic: Proof Theory (Continued...)

1x
Search within video (e.g: "algorithm", "compiler" or "coding theory")

                       

Speech Recogniser Status: Not Recognising


    /
            


    DIGIMAT Digital Learning Platform