Mod-01 Lec-30 More on Resolution in FOL

Name: Mod-01 Lec-30 More on Resolution in FOL | Videos | Gan Jing World - Technology for Humanity | Video & Movie Streaming
Uploaded: 2023-12-03T17:46:39.012Z
Duration: 46 min 32 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

1Video ViewDec 3, 2023

Mod-01 Lec-30 More on Resolution in FOL

nptelhrd