000 00880nam a22002537a 4500
003 SNU
005 20140609160828.0
008 140528b xxu||||| |||| 00| 0 eng d
040 _aNPTEL
_c, IIT Kharagpur
082 _a004
100 _aDasgupta, P.
245 _aArtificial Intelligence (Video Lecture Module 12)
_b: Resolution Refutation Proofs
_c/ P. Dasgupta
260 _aIIT Kharagpur
_b, Indian Institute of Technology Kharagpur
300 _a59 min. 55 sec.
_fVideo Lecture
440 _aNPTEL Lecture Series
_n, Lecture 12
_p: Resolution Refutation Proofs
650 _aResolution Refutation Proofs
650 _a; Artificial Intelligence (Video)
650 _a; Computer Science and Engineering
650 _a; NPTEL
650 _a; P. Dasgupta
650 _a; IIT Khargpur
856 _3Video
_uhttp://nptel.ac.in/courses/106105079/12
942 _2ddc
_cNPTEL
999 _c10843
_d10843