Artificial Intelligence IIT Kgp (View More...)
First Order Logic | lec13 | 28:36 to 30:56 | VIDEO | |
First Order Logic | lec13 | 30:56 to 32:01 | VIDEO | |
First Order Logic | lec13 | 32:01 to 34:37 | VIDEO |
Artificial Intelligence-PD (View More...)
Inference in First Order Logic | lec10 | 00:01 to 00:02 | VIDEO | |
Logic Programming: Prolog | lec13 | 00:18 to 00:24 | VIDEO | |
Prolog Programming | lec14 | 00:05 to 00:09 | VIDEO |
Discrete Mathematical Structures (View More...)
Predicates and Quantifiers | lec3 | 21:36 to 24:57 | VIDEO | |
Predicates and Quantifiers | lec3 | 23:22 to 21:36 | VIDEO | |
Predicates and Quantifiers | lec3 | 24:57 to 28:19 | VIDEO |
Logic for CS (View More...)
The Semantics of Predicate Logic | lec18 | 01:03 to 03:00 | VIDEO | |
The Semantics of Predicate Logic | lec18 | 06:56 to 11:10 | VIDEO | |
The Semantics of Predicate Logic | lec18 | 11:10 to 17:17 | VIDEO |
No Records Found