TY  - DATA
AU  - Krithivasan, Kamala
TI  - Discrete Mathematical Structures: Resolution Principles & Application to PROLOG
CY  - Madras
PB  - Indian Insitiute of Technology
KW  - Computer Science and  Engineering
KW  - Discrete Mathematical Structures
KW  - IIT Madras
KW  - NPTEL
KW  - Prof. Kamala Krithivasan
KW  - Resolution Principles & Application to PROLOG
UR  - http://video.snu.edu.in/index.php?id=1412&cat=Computer Science and  Engineering&course=Discrete Mathematical Structures&url=Phase1_Video/106106094/lec06.mp4
ER  -