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