TY  - BOOK
AU  - Ghosh, Sujata
AU  - Prasad, Sanjiva  Eds.,
TI  - Logic and Its Applications: 7th Indian Conference, ICLA 2017 Kanpur, India, January 5-7, 2017
T2  - Lecture Notes in Computer Science
SN  - 9783662540688
PY  - 2017///
CY  - Germany
PB  - Springer
KW  - Logic
KW  - Lecture Notes in Computer Science
ER  -