TY  - GEN
DO  - 10.1007/978-3-662-58771-3
DO  - doi
T1  - Logic and its applications :8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings /
AU  - Khan, Md. Aquil,
AU  - Manuel, Amaldev,
VL  - 11600
CN  - QA9.A1
N1  - International conference proceedings.
N1  - Includes author index.
ID  - 863186
KW  - Logic, Symbolic and mathematical
SN  - 9783662587713
SN  - 3662587718
TI  - Logic and its applications :8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-662-58771-3
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-662-58771-3
ER  -