| 000 | 00394nam a2200145Ia 4500 | ||
|---|---|---|---|
| 008 | 241225s9999 xx 000 0 und d | ||
| 020 | _a0792377443 | ||
| 082 |
_a004.151 _bKAU |
||
| 100 | _aKaufmann, Matt. | ||
| 245 | 0 | _aComputerr aided reasoning an approach | |
| 260 |
_aLondon : _bKluwer Academic, _c1994 |
||
| 300 | _a270. | ||
| 365 | _a9073.75 | ||
| 650 | _aData processing computer science | ||
| 999 |
_c29363 _d29363 |
||