| 000 | 00862nam a2200253Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s2000##################000#0#eng## | ||
| 020 | _a9780792377443 | ||
| 022 | _a38636 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a004.0151 KAU | ||
| 100 | _aKaufmann, Matt | ||
| 245 |
_aComputer-aided reasoning : an approach _cby Matt Kaufmann, Panagiotis Manolios, J Strother Moore |
||
| 260 |
_aDeventer, The Netherlands ; Boston, MA _bKluwer Academic Publishers _cc2000 |
||
| 300 | _axv, 270 p. ; 25 cm | ||
| 500 | _aIncludes bibliographical references (p. [257]-259) and index | ||
| 650 | _aExpert systems (Computer science) | ||
| 650 | _aFormal methods (Computer science) | ||
| 650 | _aSotware engineering | ||
| 700 | _aManolios, Panagiotis | ||
| 700 | _aMoore, J Strother | ||
| 990 | _af0ee6ba0ac10000c64304c4b9381d16b | ||
| 991 | _a13638 | ||
| 999 |
_c136166 _d136166 |
||