'Completeness of Tableaux Method' Video Lecture

Completeness of Tableaux Method

  • Course: Logic for CS
  • Discipline: Computer Science and Engineering
  • Faculty: Prof. S. Arun Kumar
  • Institute: IIT Delhi
  • Completeness of Tableaux Method - Click on the Video Link shown below to play the video on Youtube. Browse through Logic for CS (Computer Science and Engineering) Video Lectures by Prof. S. Arun Kumar from IIT Delhi through NPTEL.

    Download this video in MP4, FLV & 3GP formats
    Search Courses

    2015. EngineeringVideoLectures.com