TY - BOOK AU - Banerjee,Mahua AU - Seth,Anil ED - Indian Conference on Logic and iIts Applications (4th: 2011: Delhi) TI - Proceedings of the conference on logic and its applications held at Delhi, January 5-11, 2011 /edited by T2 - lecture Notes in Artificial Intelligence SN - 9783642180255 U1 - 511.3 23 PY - 2011/// CY - Berlin PB - Springer KW - Mathematics KW - Logic Applications N1 - Includes index ER -