000 00949nmm a2200241 a 4500
003 SNU
005 20141018004242.0
008 140728s9999 xx 000 0 und d
040 _aNPTEL
_cIIT Kharagpur
100 _aDasgupta, P.
245 _aArtificial Intelligence:
_bResolution Refutation Proofs
_c/ P. Dasgupta
260 _aKharagpur
_bIndian Insitiute of Technology
300 _fVideo Lecture
440 _aNPTEL Lecture Series
_nComputer Science and Engineering
_pResolution Refutation Proofs
650 _aArtificial Intelligence(Prof.P.Dasgupta)
650 _aComputer Science and Engineering
650 _aIIT Kharagpur
650 _aNPTEL
650 _aProf. P. Dasgupta
650 _aResolution Refutation Proofs
856 _3Video
_uhttp://video.snu.edu.in/index.php?id=1083&cat=Computer Science and Engineering&course=Artificial Intelligence(Prof.P.Dasgupta)&url=Phase1_Video/106105079/lec12.mp4
942 _cNP SNU
_2ddc
999 _c20584
_d20584