NPTEL Lecture : 'Resolution Refutation Proofs'

Resolution Refutation Proofs

  • Course: Artificial Intelligence
  • Discipline: Computer Science and Engineering
  • Faculty: Prof. P. Dasgupta
  • Institute: IIT Kharagpur