Main Profile

At A Glance

Mod-01 Lec-32 Resolution and Tableaux

Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For more details on NPTEL visit http://nptel.iitm.ac.in
Length: 54:14

Contact

Questions about Mod-01 Lec-32 Resolution and Tableaux

Want more info about Mod-01 Lec-32 Resolution and Tableaux? Get free advice from education experts and Noodle community members.

  • Answer

Ask a New Question