| 000 | 00528nam a2200169Ia 4500 | ||
|---|---|---|---|
| 999 |
_c25324 _d25324 |
||
| 008 | 161214s9999 xx 000 0 und d | ||
| 020 |
_a052154310X _cpbk |
||
| 082 |
_a005.1015113 _bHUT |
||
| 100 | _aHuth, Michael | ||
| 245 | 0 | _aLogic in Computer Science : modeling and reasoning about systems | |
| 260 |
_aCambridge: _bCambridge University Press, _c2004 |
||
| 300 |
_axiv, 427 p.; _bill.: _c25 cm. |
||
| 365 |
_aINR _b2625.00 |
||
| 650 | _aComputer logic | ||
| 650 | _aLogic programming | ||
| 650 | _aLogic | ||
| 650 | _aDeduction | ||
| 650 | _aBinary Decision Diagrams | ||
| 700 | _aRyan, Mark | ||
| 942 |
_2ddc _cBK |
||