Artificial Intelligence-PD (View More...)
Resolution Refutation Proofs | lec11 | 00:11 to 00:16 | VIDEO | |
Resolution Refutation Proofs | lec12 | 00:05 to 00:06 | VIDEO | |
Resolution Refutation Proofs | lec12 | 00:30 to 00:34 | VIDEO |
Compiler Design IISc Bangalore (View More...)
Design Verification and Test of Digital VLSI Circuits (View More...)
Introduction to Digital VLSI Design Flow | lec1 | 00:23 to 08:24 | VIDEO | |
Introduction to Digital VLSI Design Flow | lec1 | 01:10 to upto | VIDEO | |
Introduction to Digital VLSI Design Flow | lec1 | 15:46 to 20:12 | VIDEO |
Discrete Mathematical Structures (View More...)
Resolution Principles and Application to Prolog | lec6 | 09:55 to 12:03 | VIDEO | |
Resolution Principles and Application to Prolog | lec6 | 41:26 to 46:27 | VIDEO | |
Resolution Principles and Application to Prolog | lec6 | 46:27 to 50:24 | VIDEO |
Graph Theory (View More...)
Proof of weak perfect graph theorem (WPGT) | lec25 | 09:55 to 10:47 | VIDEO | |
Proof of weak perfect graph theorem (WPGT) | lec25 | 23:56 to 30:26 | VIDEO | |
Proof of weak perfect graph theorem (WPGT) | lec25 | 53:18 to upto | VIDEO |
Logic for CS (View More...)
Proof, Theory: Hilbert-Style | lec13 | 07:30 to 10:26 | VIDEO | |
Proof, Theory: Hilbert-Style | lec13 | 39:12 to 45:25 | VIDEO | |
Predicate Logic: Proof Theory (Contd.) | lec23 | 02:16 to 04:22 | VIDEO |
No Records Found