Mod-01 Lec-27 Substitutions and Instantiations

Visit Advertiser

Mod-01 Lec-27 Substitutions and Instantiations

Name: Mod-01 Lec-27 Substitutions and Instantiations | Videos | Gan Jing World
Uploaded: 2023-12-03T17:51:47.740Z
Duration: 49 min 14 s
Description: 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 | Videos | Gan Jing World