000 | 00631nam a2200205Ia 4500 | ||
---|---|---|---|
999 |
_c3979 _d3979 |
||
008 | 161214s9999 xx 000 0 und d | ||
020 |
_a0792377443 _chbk |
||
082 |
_a004.0151 _bKAU |
||
100 | _aKaufmann, Matt | ||
245 | 0 | _aComputer-aided reasoning : an approach | |
260 |
_aBoston: _bKluwer Academic Publishers, _c2000 |
||
300 |
_axv, 270 p.; _b: _c24 cm. |
||
365 |
_aINR _b10172.73 |
||
490 | _aAdances in formal methods | ||
650 | _aExpert systems | ||
650 | _aElectronic data processing | ||
650 | _aFormal methods | ||
650 | _aSotware engineering | ||
650 | _aReasoning | ||
650 | _aGaming | ||
650 | _aTheorem | ||
700 | _aManolios, Panagiotis | ||
700 | _aMoore, J Strother | ||
942 |
_2ddc _cBK |