| 000 | 00546pam a2200193a 44500 | ||
|---|---|---|---|
| 008 | 140414b2012 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9780521670890 | ||
| 082 |
_a005.151 _bHUT |
||
| 100 | _aHUTH MICHAEL | ||
| 245 |
_aLogic in computer Science _bModelling and Reasoning about Systems |
||
| 250 | _a2 Ed. | ||
| 260 |
_aNew Delhi _bCAMBRIDGE UNIVERSITY PRESS _c2012 |
||
| 300 | _axiii,427p | ||
| 650 | _a Computer logic | ||
| 650 | _aLogic programming | ||
| 690 | _aComputer Science and Engineering | ||
| 700 | _aRYAN MARK | ||
| 942 |
_2ddc _cBK |
||
| 999 |
_c157 _d157 |
||