Artificial Intelligence-PD (View More...)
| Resolution Refutation Proofs | lec11 | 00:28 to 00:33 | VIDEO | |
| Graphplan and SAT plan | lec19 | 42:45 to 48:31 | VIDEO | |
| Graphplan and SAT plan | lec19 | 51:52 to upto | VIDEO |
Design and Analysis of Algorithms (View More...)
| NP-Completeness-2 | lec27 | 53:54 to upto | VIDEO | |
| NP-Completeness-3 | lec28 | 21:46 to 27:47 | VIDEO | |
| NP-Completeness-3 | lec28 | 27:47 to 34:27 | VIDEO |
Discrete Mathematical Structures (View More...)
| Logical Inference | lec5 | 51:20 to 53:47 | VIDEO | |
| Logical Inference | lec5 | 56:26 to 57:38 | VIDEO | |
| Logical Inference | lec5 | 57:38 to upto | VIDEO |
Logic for CS (View More...)
| Semantics of Propositional Logic | lec3 | 26:55 to upto | VIDEO | |
| Towards logic Programming | lec36 | 32:26 to 49:34 | VIDEO | |
| Identities and Normal Forms | lec5 | 47:27 to upto | VIDEO |
Theory of Automata, Formal Languages and Computation (View More...)
| NP-Complete Problems (Contd.) | lec37 | 15:54 to 20:37 | VIDEO | |
| NP-Complete Problems (Contd.) | lec37 | 20:37 to 27:31 | VIDEO | |
| NP-Complete Problems (Contd.) | lec37 | 29:49 to 32:59 | VIDEO |
No Records Found