Artificial Intelligence IIT Kgp (View More...)
| Interface in Propositional Logic | lec12 | 29:00 to 32:15 | VIDEO | |
| Interface in Propositional Logic | lec12 | 36:54 to 38:20 | VIDEO | |
| Interface in Propositional Logic | lec12 | 38:20 to 40:32 | VIDEO |
Artificial Intelligence-PD (View More...)
| Introduction to Planning | lec17 | 27:26 to 29:37 | VIDEO | |
| Introduction to Planning | lec17 | 29:37 to 34:57 | VIDEO | |
| Introduction to Planning | lec17 | 35:33 to 36:55 | VIDEO |
Computer Algorithms - 2 (View More...)
| Matrix Inversion | lec12 | 06:25 to 12:28 | VIDEO | |
| Matrix Inversion | lec12 | 12:28 to 19:24 | VIDEO | |
| Chinese Remainder II | lec22 | 46:04 to 48:22 | VIDEO |
Design and Analysis of Algorithms (View More...)
| NP-Completeness-2 | lec27 | 13:37 to 16:00 | VIDEO | |
| NP-Completeness-2 | lec27 | 53:54 to upto | VIDEO | |
| NP-Completeness-3 | lec28 | 21:46 to 27:47 | VIDEO |
Discrete Mathematical Structures (View More...)
| Resolution Principles and Application to Prolog | lec6 | 02:26 to 04:18 | VIDEO | |
| Resolution Principles and Application to Prolog | lec6 | 04:18 to 05:15 | VIDEO | |
| Resolution Principles and Application to Prolog | lec6 | 05:38 to 7:37 | VIDEO |
Electronic Design Automation (View More...)
| Synthesis: Part 3 | lec10 | 21:08 to 24:21 | VIDEO | |
| Synthesis: Part 3 | lec10 | 28:36 to 31:52 | VIDEO | |
| Synthesis: Part 3 | lec10 | 36:57 to 39:54 | VIDEO |
Introduction to Problem Solving and Programming Incomplete (View More...)
| lec4 | lec4 | 00:36 to 02:25 | VIDEO | |
| lec4 | lec4 | 02:25 to 03:31 | VIDEO | |
| lec4 | lec4 | 03:31 to 06:54 | VIDEO |
Logic for CS (View More...)
| Resolution in FOL | lec29 | 35:28 to 49:49 | VIDEO | |
| Resolution: Soundness and Completeness | lec31 | 10:50 to 14:29 | VIDEO | |
| Resolution: Soundness and Completeness | lec31 | 14:29 to 24:35 | VIDEO |
Theory of Automata, Formal Languages and Computation (View More...)
| Problems and Solutions | lec25 | 00:01 to upto | VIDEO | |
| Problems and Solutions | lec25 | 57:09 to 00:01 | VIDEO | |
| NP-Complete Problems (Contd.) | lec37 | 15:54 to 20:37 | VIDEO |
No Records Found