TY  - DATA
AU  - Basu, Anupam
AU  - Sarkar, S.
TI  - Artificial Intelligence: First order Logic
CY  - Kharagpur
PB  - Indian Insitiute of Technology
KW  - Artificial Intelligence
KW  - Computer Science and  Engineering
KW  - First order Logic
KW  - IIT Kharagpur
KW  - NPTEL
KW  - Prof. Anupam Basu,Prof. S. Sarkar
UR  - http://video.snu.edu.in/index.php?id=1044&cat=Computer Science and  Engineering&course=Artificial Intelligence&url=Phase1_Video/106105077/lec13.mp4
ER  -