000 | 00428nam a2200169Ia 4500 | ||
---|---|---|---|
003 | OSt | ||
008 | 181001s2018 xx 000 0 und d | ||
020 | _a9788120332485 | ||
082 |
_bCHA _a621.392 |
||
100 | _aChakraborti, Chhanda | ||
245 | 0 |
_aLogic: _bInformal, symbolic and inductive |
|
250 | _a2nd | ||
260 |
_bPHI, _aNew Delhi: _c©2007 |
||
300 | _a562p. | ||
650 | _aComputer Science Engineering | ||
942 |
_2ddc _cREF |
||
999 |
_c4719 _d4719 |