TY  - BOOK
AU  - Kamal Lodaya  Eds.
TI  - Logic and Its Applications: 5th Indian Conference, ICKA 2013 Chennai, India, January 2013 Proceedings
T2  - Lecture notes in computer science
SN  - 9783642360381 (Softcover)
PY  - 2013///
CY  - Berlin
PB  - Springer
ER  -