NPTEL Video Course : NOC:Discrete Mathematics (Prof. Sajith Gopalan)
Lecture 7 - Soundness and Completeness of the First Order Proof System
1x
Search within video (e.g: "algorithm", "compiler" or "coding theory")
Speech Recogniser Status:
Not Recognising
Search and Play Video
/
Home
Previous
Next
