000 00987nmm a2200253 a 4500
003 SNU
005 20141017233633.0
008 140728s9999 xx 000 0 und d
040 _aNPTEL
_cIIT Kharagpur
100 _aBasu, Anupam
100 _aSarkar, S.
245 _aArtificial Intelligence:
_bReasoning Using First Order Logic
_c/ Anupam Basu and S. Sarkar
260 _aKharagpur
_bIndian Insitiute of Technology
300 _fVideo Lecture
440 _aNPTEL Lecture Series
_nComputer Science and Engineering
_pReasoning Using First Order Logic
650 _aArtificial Intelligence
650 _aComputer Science and Engineering
650 _aIIT Kharagpur
650 _aNPTEL
650 _aProf. Anupam Basu,Prof. S. Sarkar
650 _aReasoning Using First Order Logic
856 _3Video
_uhttp://video.snu.edu.in/index.php?id=1045&cat=Computer Science and Engineering&course=Artificial Intelligence&url=Phase1_Video/106105077/lec14.mp4
942 _cNP SNU
_2ddc
999 _c20546
_d20546