Artificial Intelligence IIT Kgp (View More...)
| Rule Based Systems | lec16 | 10:27 to 18:08 | VIDEO | |
| Rule Based Systems | lec16 | 24:33 to 27:12 | VIDEO | |
| Rule Based Systems | lec16 | 30:06 to 35:38 | VIDEO |
Artificial Intelligence-PD (View More...)
| Inference in First Order Logic | lec10 | 00:01 to 00:02 | VIDEO | |
| Inference in First Order Logic | lec10 | 00:02 to 00:08 | VIDEO | |
| Inference in First Order Logic | lec10 | 00:18 to 00:26 | VIDEO |
Design Verification and Test of Digital VLSI Circuits (View More...)
| Syntax and Semantics of CTL | lec16 | 01:39 to 04:43 | VIDEO | |
| Syntax and Semantics of CTL | lec16 | 12:12 to 14:00 | VIDEO | |
| Syntax and Semantics of CTL | lec16 | 20:06 to 24:06 | VIDEO |
Discrete Mathematical Structures (View More...)
| Predicates and Quantifiers | lec4 | 53:10 to 53:10 | VIDEO | |
| Logical Inference | lec5 | 18:15 to 21:45 | VIDEO | |
| Logical Inference | lec5 | 21:45 to 25:23 | VIDEO |
Logic for CS (View More...)
| Derived Rules | lec14 | 03:48 to 06:28 | VIDEO | |
| Derived Rules | lec14 | 07:47 to 12:56 | VIDEO | |
| Derived Rules | lec14 | 16:11 to 17:58 | VIDEO |
No Records Found