000 00340nam a2200133Ia 4500
008 200906s9999 xx 000 0 und d
020 _a0-07-911251-X
082 _a621.3819535 W837
100 _aWOS,L
245 0 _aAUTOMATED REASONING: INTRODUCTION AND APPLICATIONS
260 _bMCGRAW, NEW YORK
_c1992
300 _a24X19
942 _cBK
999 _c60887
_d60887