Mod-01 Lec-32 Resolution and Tableaux

Name: Mod-01 Lec-32 Resolution and Tableaux | Videos | Gan Jing World - Technology for Humanity | Video & Movie Streaming
Uploaded: 2023-12-03T17:47:31.264Z
Duration: 54 min 13 s
Description: Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo... | Videos | Gan Jing World - Technology for Humanity | Video & Movie Streaming

Dec 3, 2023

Mod-01 Lec-32 Resolution and Tableaux

nptelhrd