| 000 | 00636nam a2200205Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s2009##################000#0#eng## | ||
| 020 | _a9780521899574 | ||
| 022 | _a2009281331 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a006.3 HAR | ||
| 100 | _aHarrison, John | ||
| 245 |
_aHandbook of practical logic and automated reasoning _cJohn Harrison |
||
| 260 |
_aCambridge _bCambridge University Press _c2009 |
||
| 300 | _axix, 681 p. : ill. ; 26 cm | ||
| 500 | _aIncludes bibliographical references (p. 631-667) and index | ||
| 650 | _aComputer logic | ||
| 990 | _a8fa5fe75ac10000c0ffa80b36ccedc09 | ||
| 991 | _a102742 | ||
| 999 |
_c200830 _d200830 |
||