000 00524nam a2200205Ia 4500
008 221105s9999 xx 000 0 und d
020 _a978007911251X
041 _aENGLISH
082 _a006.3 N1 (MCA)
082 _bLAR
100 _aLARRY WOS; ROSS OVERBARI; EWING LUSK
245 0 _aAUTOMATED REASONING: INTRODUCTION AND APPLICATIONS
250 _a2
260 _bMCGRAW HILL BOOK COMPANY
260 _c1990
300 _a656
650 _aCOMPUTER SCIENCE
650 _bARTIFICIAL INTELLIGENCE
942 _cBK
999 _c2064
_d2064