Artificial Intelligence IIT Kgp (View More...)
| Reasoning using First -Order Logic | lec14 | 28:02 to 30:20 | VIDEO | |
| Reasoning using First -Order Logic | lec14 | 53:41 to 55:05 | VIDEO | |
| Reasoning using First -Order Logic | lec14 | 55:05 to 57:43 | VIDEO |
Logic for CS (View More...)
| Substitutions | lec19 | 21:30 to 23:22 | VIDEO | |
| Substitutions | lec19 | 24:45 to 26:59 | VIDEO | |
| Substitutions | lec19 | 35:05 to 36:27 | VIDEO |
Principles of Programming Languages (View More...)
| Lecture Title: The Notation | lec25 | 25:30 to 33:50 | VIDEO | |
| Lecture Title: The Notation | lec25 | 33:50 to 36:18 | VIDEO | |
| Lecture Title: The ? Calculus | lec26 | 05:17 to 09:57 | VIDEO |
No Records Found