cURL Error: Could not resolve host: surukam.net
Computer-science-and-engineering0
Artificial Intelligence IIT Kgp (View More...)
| First Order Logic | lec13 | 49:18 to 54:01 | VIDEO | |
| Reasoning using First -Order Logic | lec14 | 03:27 to 09:15 | VIDEO | |
| Reasoning using First -Order Logic | lec14 | 30:20 to 34:30 | VIDEO |
Artificial Intelligence-PD (View More...)
| Inference in First Order Logic | lec10 | 00:01 to 00:02 | VIDEO | |
| Resolution Refutation Proofs | lec11 | 00:28 to 00:33 | VIDEO | |
| Resolution Refutation Proofs | lec11 | 00:35 to 00:36 | VIDEO |
Discrete Mathematical Structures (View More...)
| Predicates and Quantifiers | lec3 | 21:36 to 24:57 | VIDEO | |
| Predicates and Quantifiers | lec3 | 28:19 to 3:23 | VIDEO | |
| Predicates and Quantifiers | lec3 | 3:23 to 41:07 | VIDEO |
Logic for CS (View More...)
| Structures and Substructures | lec21 | 33:29 to 35:29 | VIDEO | |
| Structures and Substructures | lec21 | 36:15 to 39:11 | VIDEO | |
| First-Order Theories | lec22 | 25:30 to 34:43 | VIDEO |
No Records Found