TY  - BOOK
AU  - Dasgupta, P.
TI  - Artificial Intelligence (Video Lecture Module 10): : Inference in First Order Logic
U1  - 004 
CY  - IIT Kharagpur
PB  - Indian Institute of Technology Kharagpur
KW  - Inference in First Order Logic
KW  - ; Artificial Intelligence (Video)
KW  - ; Computer Science and Engineering
KW  - ; NPTEL
KW  - ; P. Dasgupta
KW  - ; IIT Khargpur
UR  - http://nptel.ac.in/courses/106105079/10
ER  -