TY  - BOOK
AU  - Lodaya, Kamal
TI  - Logic and its applications: Fifth Indian Conference on Logic and its Applications  January 10-12, 2013,  Ramanujan Auditorium,  Institute of Mathematical Sciences, Chennai, India
SN  - 9783642360381
CY  - New york
KW  - computer Science
ER  -