| 000 | 00759nam a2200241Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s2004##################000#0#eng## | ||
| 020 | _a9780521543101 | ||
| 022 | _a2004045921 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a004 HUT | ||
| 100 | _aHuth, Michael | ||
| 245 |
_aLogic in computer science : modelling and reasoning about systems _cMichael Huth, Mark Ryan |
||
| 250 | _a2nd ed | ||
| 260 |
_aCambridge _bCambridge University Press _c2004 |
||
| 300 | _axiv, 427 p. : ill. ; 25 cm | ||
| 500 | _aIncludes bibliographical references (p. 414-417) and index | ||
| 650 | _aComputer logic | ||
| 650 | _aLogic programming (Computer science) | ||
| 700 | _aRyan, Mark | ||
| 990 | _ae16bb00dac10000c0f508ee3e5710fa1 | ||
| 991 | _a11032 | ||
| 999 |
_c234926 _d234926 |
||