NPTEL Lecture : 'Lecture-41-Semantic Tableaux method: Satisfiability, Validity'

Lecture-41-Semantic Tableaux method: Satisfiability, Validity

  • Course: Introduction to Logic
  • Discipline: Humanities and Social Sciences
  • Faculty: Dr. A.V. Ravishankar Sarma
  • Institute: IIT Kanpur