000 | 00607nam a22002057a 4500 | ||
---|---|---|---|
008 | 190516b ||||| |||| 00| 0 eng d | ||
020 | _a9783662540688 | ||
041 | _aeng | ||
080 |
_a681 _bLNCS |
||
100 | _aGhosh, Sujata | ||
245 |
_aLogic and Its Applications _b7th Indian Conference, ICLA 2017 Kanpur, India, January 5-7, 2017 |
||
260 |
_aGermany _bSpringer _c2017 |
||
300 | _a238 p. | ||
490 |
_aLecture Notes in Computer Science _v10119 |
||
650 | _aLogic | ||
650 | _aLecture Notes in Computer Science | ||
690 | _aComputer Science | ||
700 | _aPrasad, Sanjiva Eds., | ||
942 | _cBK | ||
999 |
_c50221 _d50221 |